From: Clark Barrett <barrett@cs.stanford.edu>
Date: Thu, 5 Oct 2017 21:47:37 +0000 (-0700)
Subject: Fix typo in comment.
X-Git-Tag: cvc5-1.0.0~5573
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9bc8fe0ea33a280f2a24cca0b2c6f08b962a8f8d;p=cvc5.git

Fix typo in comment.
---

diff --git a/src/parser/parser.h b/src/parser/parser.h
index eb0588ab0..e1518f9ca 100644
--- a/src/parser/parser.h
+++ b/src/parser/parser.h
@@ -73,7 +73,7 @@ namespace parser {
 
 class Input;
 
-/** Types of check for the symols */
+/** Types of checks for the symbols */
 enum DeclarationCheck {
   /** Enforce that the symbol has been declared */
   CHECK_DECLARED,