diff options
Diffstat (limited to 'src/parser/cvc/cvc_lexer.g')
| -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 8d706963f..dd0d7c69c 100644 --- a/src/parser/cvc/cvc_lexer.g +++ b/src/parser/cvc/cvc_lexer.g @@ -66,7 +66,7 @@ DIGIT options{ paraphrase = "a digit"; } /** * Matches the ':' */ -COLON options{ paraphrase = "a comma"; } +COLON options{ paraphrase = "a colon"; } : ':' ; @@ -115,7 +115,7 @@ NEWLINE options { paraphrase = "a newline"; } * Mathces the comments and ignores them */ COMMENT options { paraphrase = "comment"; } - : ';' (~('\n' | '\r'))* { $setType(antlr::Token::SKIP); } + : '%' (~('\n' | '\r'))* { $setType(antlr::Token::SKIP); } ; /** |