From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 22 Oct 2010 23:17:13 +0000 (+0000)
Subject: fix valgrind-reported errors in parser builder; a non-SMT parser was always used... 
X-Git-Tag: cvc5-1.0.0~8786
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d44fb63c06b20cc2f351f5c7eff8eb752ae7e6a2;p=cvc5.git

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

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