diff options
Diffstat (limited to 'src/parser/antlr_input.cpp')
| -rw-r--r-- | src/parser/antlr_input.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/parser/antlr_input.cpp b/src/parser/antlr_input.cpp index aa431ef42..f8730e372 100644 --- a/src/parser/antlr_input.cpp +++ b/src/parser/antlr_input.cpp @@ -201,8 +201,9 @@ AntlrInput* AntlrInput::newInput(InputLanguage lang, AntlrInputStream& inputStre input = new Smt1Input(inputStream); break; - case LANG_SMTLIB_V2: - input = new Smt2Input(inputStream); + case LANG_SMTLIB_V2_0: + case LANG_SMTLIB_V2_5: + input = new Smt2Input(inputStream, lang); break; case LANG_TPTP: |