diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 891349809..b7a43b1df 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -469,15 +469,7 @@ void SmtEngine::setInfo(const std::string& key, const std::string& value) { language::input::Language ilang = language::input::LANG_AUTO; - if (value == "2" || value == "2.0") - { - ilang = language::input::LANG_SMTLIB_V2_0; - } - else if (value == "2.5") - { - ilang = language::input::LANG_SMTLIB_V2_5; - } - else if (value == "2.6") + if (value == "2.6") { ilang = language::input::LANG_SMTLIB_V2_6; } |