diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-22 23:17:13 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-22 23:17:13 +0000 |
commit | d44fb63c06b20cc2f351f5c7eff8eb752ae7e6a2 (patch) | |
tree | 86aaef3c5007b9bac66f39345e2e1a6cf9bd385f /src | |
parent | dfa8ba577b55318919caae4cd3d03c26eee39944 (diff) |
fix valgrind-reported errors in parser builder; a non-SMT parser was always used (rather than an Smt or Smt2) regardless of input language
Diffstat (limited to 'src')
-rw-r--r-- | src/parser/parser_builder.cpp | 2 |
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); } |