diff options
| author | Benjamin J. Culkin <bjculkin@mix.wvu.edu> | 2017-10-04 19:28:04 -0300 |
|---|---|---|
| committer | Benjamin J. Culkin <bjculkin@mix.wvu.edu> | 2017-10-04 19:28:04 -0300 |
| commit | 3e6e258a63d30e9ae57cc3f08efdcf95d6a3c44d (patch) | |
| tree | 694c04419eab6e8322026a531087c22a22d3da47 /RGens/src/main/java/bjc/rgens/newparser/RGrammarParser.java | |
| parent | 4bba1173779dc7933c651785d491fb089515e1e2 (diff) | |
Minor updates
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(); |
