diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-12-15 23:05:02 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-12-15 23:05:02 +0000 |
| commit | 8cb3a7b556e8b4b85745bffbd1f0246e6af29588 (patch) | |
| tree | cdff09f0a4a274a402c05013013091c0c7966615 /src/parser/smt/smt_lexer.g | |
| parent | 7cc208713f373ee83946b9d53a9c405bfec9e107 (diff) | |
Minor changes to parser files from code review.
Diffstat (limited to 'src/parser/smt/smt_lexer.g')
| -rw-r--r-- | src/parser/smt/smt_lexer.g | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/smt/smt_lexer.g b/src/parser/smt/smt_lexer.g index 3d9a84f06..70f60a0bc 100644 --- a/src/parser/smt/smt_lexer.g +++ b/src/parser/smt/smt_lexer.g @@ -14,7 +14,7 @@ class AntlrSmtLexer extends Lexer; options { exportVocab = SmtVocabulary; // Name of the shared token vocabulary testLiterals = false; // Do not check for literals by default - defaultErrorHandler = false; // Skip the defaul error handling, just break with exceptions + defaultErrorHandler = false; // Skip the default error handling, just break with exceptions k = 2; } @@ -130,7 +130,7 @@ WHITESPACE options { paraphrase = "whitespace"; } ; /** - * Mathces and skips the newline symbols in the input. + * Matches and skips the newline symbols in the input. */ NEWLINE options { paraphrase = "a newline"; } : ('\r' '\n' | '\r' | '\n') { $setType(antlr::Token::SKIP); newline(); } |