diff options
Diffstat (limited to 'src/parser/smt2/Smt2.g')
-rw-r--r-- | src/parser/smt2/Smt2.g | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 16eba8fb3..34fabed0d 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -23,7 +23,7 @@ options { // defaultErrorHandler = false; // Only lookahead of <= k requested (disable for LL* parsing) - // Note that CVC4's BoundedTokenBuffer requires a fixed k ! + // Note that cvc5's BoundedTokenBuffer requires a fixed k ! // If you change this k, change it also in smt2_input.cpp ! k = 2; }/* options */ @@ -91,7 +91,7 @@ namespace cvc5 { class Sort; } -}/* CVC4 namespace */ +}/* cvc5 namespace */ }/* @parser::includes */ @@ -483,7 +483,7 @@ command [std::unique_ptr<cvc5::Command>* cmd] /* New SMT-LIB 2.5 command set */ | smt25Command[cmd] - /* CVC4-extended SMT-LIB commands */ + /* cvc5-extended SMT-LIB commands */ | extendedCommand[cmd] { if(PARSER_STATE->strictModeEnabled()) { PARSER_STATE->parseError( @@ -632,7 +632,7 @@ sygusGrammar[cvc5::api::Grammar*& ret, << "2.0 format requires a predeclaration of the non-terminal " << "symbols of the grammar to be given prior to the definition " << "of the grammar. See https://sygus.org/language/ for details " - << "and examples. CVC4 versions past 1.8 do not support SyGuS " + << "and examples. cvc5 versions past 1.8 do not support SyGuS " << "version 1.0."; } else |