diff options
Diffstat (limited to 'RGens/src/main/java/bjc/rgens/newparser/RGrammarParser.java')
| -rw-r--r-- | RGens/src/main/java/bjc/rgens/newparser/RGrammarParser.java | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/RGens/src/main/java/bjc/rgens/newparser/RGrammarParser.java b/RGens/src/main/java/bjc/rgens/newparser/RGrammarParser.java index 0c2e3d9..cb9f686 100644 --- a/RGens/src/main/java/bjc/rgens/newparser/RGrammarParser.java +++ b/RGens/src/main/java/bjc/rgens/newparser/RGrammarParser.java @@ -291,9 +291,14 @@ public class RGrammarParser { throw new GrammarException("A rule must be given at least one case in its declaration, and" + "seperated from that case by \u2192"); } - - System.out.println( - "WARNING: Empty space separating a declaration and its case is deprecated. Use \u2192 instead"); + + /* + * @NOTE + * + * This is true, but I don't care that much anyways. + * System.out.println( + * "WARNING: Empty space separating a declaration and its case is deprecated. Use \u2192 instead"); + */ } String ruleName = declContents.substring(0, declSep).trim(); |
