diff options
Diffstat (limited to 'src/parser/smt2/Smt2.g')
-rw-r--r-- | src/parser/smt2/Smt2.g | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index d6b5af324..4b8c52841 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -1128,21 +1128,6 @@ metaInfoInternal[std::unique_ptr<CVC4::Command>* cmd] { name = AntlrInput::tokenText($KEYWORD); if(name == ":cvc4-logic" || name == ":cvc4_logic") { PARSER_STATE->setLogic(sexpr.getValue()); - } else if(name == ":smt-lib-version") { - // if we don't recognize the revision name, just keep the current mode - if( (sexpr.isRational() && sexpr.getRationalValue() == Rational(2)) || - sexpr.getValue() == "2" || - sexpr.getValue() == "2.0" ) { - PARSER_STATE->setLanguage(language::input::LANG_SMTLIB_V2_0); - } else if( (sexpr.isRational() && - sexpr.getRationalValue() == Rational(5, 2)) || - sexpr.getValue() == "2.5" ) { - PARSER_STATE->setLanguage(language::input::LANG_SMTLIB_V2_5); - } else if( (sexpr.isRational() && - sexpr.getRationalValue() == Rational(13, 5)) || - sexpr.getValue() == "2.6" ) { - PARSER_STATE->setLanguage(language::input::LANG_SMTLIB_V2_6); - } } PARSER_STATE->setInfo(name.c_str() + 1, sexpr); cmd->reset(new SetInfoCommand(name.c_str() + 1, sexpr)); |