diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-12-16 18:33:31 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-12-16 18:33:31 +0000 |
| commit | e2cbeb69ca3a56af6ad7cc65a70f554d08e4df76 (patch) | |
| tree | a84b702a2438358aedb03ad510b2e8a5d30657ec /src/parser/cvc | |
| parent | e5d54c5ba02645ce6dacf626aa32dfd5495a8bc9 (diff) | |
Spelling correction in comments
Diffstat (limited to 'src/parser/cvc')
| -rw-r--r-- | src/parser/cvc/cvc_lexer.g | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/cvc/cvc_lexer.g b/src/parser/cvc/cvc_lexer.g index dd0d7c69c..47cebbbb0 100644 --- a/src/parser/cvc/cvc_lexer.g +++ b/src/parser/cvc/cvc_lexer.g @@ -105,14 +105,14 @@ 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(); } ; /** - * Mathces the comments and ignores them + * Matches the comments and ignores them */ COMMENT options { paraphrase = "comment"; } : '%' (~('\n' | '\r'))* { $setType(antlr::Token::SKIP); } |