From d44fb63c06b20cc2f351f5c7eff8eb752ae7e6a2 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 22 Oct 2010 23:17:13 +0000 Subject: [PATCH] fix valgrind-reported errors in parser builder; a non-SMT parser was always used (rather than an Smt or Smt2) regardless of input language --- src/parser/parser_builder.cpp | 2 ++ 1 file changed, 2 insertions(+) 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); } -- 2.30.2