diff options
-rw-r--r-- | src/parser/parser_builder.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp index 35f7ee16c..7291da1db 100644 --- a/src/parser/parser_builder.cpp +++ b/src/parser/parser_builder.cpp @@ -111,8 +111,10 @@ Parser *ParserBuilder::build() throw (InputStreamException,AssertionException) { switch(d_lang) { case language::input::LANG_SMTLIB: parser = new Smt(&d_exprManager, input, d_strictMode); + break; case language::input::LANG_SMTLIB_V2: parser = new Smt2(&d_exprManager, input, d_strictMode); + break; default: parser = new Parser(&d_exprManager, input, d_strictMode); } |