From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Wed, 16 Dec 2009 18:33:31 +0000 (+0000)
Subject: Spelling correction in comments
X-Git-Tag: cvc5-1.0.0~9372
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e2cbeb69ca3a56af6ad7cc65a70f554d08e4df76;p=cvc5.git

Spelling correction in comments
---

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); }