From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 21 Aug 2018 02:13:49 +0000 (-0700)
Subject: Fix initialization of d_smt in ValidityChecker for changes from #2240. (#2343)
X-Git-Tag: cvc5-1.0.0~4752
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a82837a03cf3bd33f906901f45b2c6f36cf420de;p=cvc5.git

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 7944c51ce..cb07c9acd 100644
--- 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)