fix valgrind-reported errors in parser builder; a non-SMT parser was always used (rather than an Smt or Smt2) regardless of input language

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);
   }