Fix initialization of d_smt in ValidityChecker for changes from #2240. (#2343)

diff --git a/src/compat/cvc3_compat.cpp b/src/compat/cvc3_compat.cpp
index 7944c51ce0264fb2cf25962c66439479e31f2d50..cb07c9acd759768a3f24637b8df183ee13534d90 100644 (file)
--- a/src/compat/cvc3_compat.cpp
+++ b/src/compat/cvc3_compat.cpp
@@ -986,7 +986,6 @@ ValidityChecker::ValidityChecker(const CLFlags& clflags)
   d_smt = d_solver->getSmtEngine();
   d_em = reinterpret_cast<ExprManager*>(d_solver->getExprManager());
   s_validityCheckers[d_em] = this;
-  d_smt = new CVC4::SmtEngine(d_em);
   setUpOptions(d_options, *d_clflags);
   d_parserContext = CVC4::parser::ParserBuilder(d_solver.get(), "<internal>")
                         .withInputLanguage(CVC4::language::input::LANG_CVC4)