fix valgrind-reported errors in parser builder; a non-SMT parser was always used...

diff --git a/src/parser/parser_builder.cpp b/src/parser/parser_builder.cpp
index 35f7ee16c5a016775284e2d0b924a69986c98ad4..7291da1db1ff012d243c6a0878486b6e2662b306 100644 (file)
--- 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);
   }