diff options
Diffstat (limited to 'src/parser/antlr_input.cpp')
-rw-r--r-- | src/parser/antlr_input.cpp | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp index a4bab5a8d..1e5d62ef8 100644 --- a/src/parser/antlr_input.cpp +++ b/src/parser/antlr_input.cpp @@ -254,12 +254,6 @@ AntlrInput* AntlrInput::newInput(InputLanguage lang, AntlrInputStream& inputStre input = new Smt1Input(inputStream); break; - case LANG_SMTLIB_V2_0: - case LANG_SMTLIB_V2_5: - case LANG_SMTLIB_V2_6: - input = new Smt2Input(inputStream, lang); - break; - case LANG_SYGUS: input = new SygusInput(inputStream); break; @@ -269,9 +263,17 @@ AntlrInput* AntlrInput::newInput(InputLanguage lang, AntlrInputStream& inputStre break; default: - std::stringstream ss; - ss << "internal error: unhandled language " << lang << " in AntlrInput::newInput"; - throw InputStreamException(ss.str()); + if (language::isInputLang_smt2(lang)) + { + input = new Smt2Input(inputStream, lang); + } + else + { + std::stringstream ss; + ss << "internal error: unhandled language " << lang + << " in AntlrInput::newInput"; + throw InputStreamException(ss.str()); + } } return input; |