diff options
Diffstat (limited to 'src/parser/smt2/Smt2.g')
-rw-r--r-- | src/parser/smt2/Smt2.g | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 1d07969ff..c6b7de42c 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -542,8 +542,8 @@ command [std::unique_ptr<CVC4::Command>* cmd] { std::string id = AntlrInput::tokenText($SIMPLE_SYMBOL); if(id == "benchmark") { PARSER_STATE->parseError( - "In SMT-LIBv2 mode, but got something that looks like SMT-LIBv1. " - "Use --lang smt1 for SMT-LIBv1."); + "In SMT-LIBv2 mode, but got something that looks like SMT-LIBv1, " + "which is not supported anymore."); } else { PARSER_STATE->parseError("expected SMT-LIBv2 command, got `" + id + "'."); |