From: Morgan Deters 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); }