From e2cbeb69ca3a56af6ad7cc65a70f554d08e4df76 Mon Sep 17 00:00:00 2001 From: "Christopher L. Conway" Date: Wed, 16 Dec 2009 18:33:31 +0000 Subject: [PATCH] Spelling correction in comments --- src/parser/cvc/cvc_lexer.g | 4 ++-- 1 file 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); } -- 2.30.2