don't rely on cleanup

Z3Prover · Dec 4, 2021 · da76535 · da76535
1 parent 3d528c8
commit da76535
Showing 1 changed file with 5 additions and 7 deletions.
diff --git a/src/smt/tactic/smt_tactic_core.cpp b/src/smt/tactic/smt_tactic_core.cpp
@@ -106,12 +106,6 @@ class smt_tactic : public tactic {
     }
 
     void cleanup() override {
-        m_user_ctx = nullptr;
-        m_vars.reset();
-        m_fixed_eh = nullptr;
-        m_final_eh = nullptr;
-        m_eq_eh = nullptr;
-        m_diseq_eh = nullptr;
     }
 
     void reset_statistics() override {
@@ -417,7 +411,11 @@ class smt_tactic : public tactic {
         user_propagator::push_eh_t& push_eh,
         user_propagator::pop_eh_t& pop_eh,
         user_propagator::fresh_eh_t& fresh_eh) override {
-        SASSERT(!m_user_ctx);
+        m_vars.reset();
+        m_fixed_eh = nullptr;
+        m_final_eh = nullptr;
+        m_eq_eh = nullptr;
+        m_diseq_eh = nullptr;
         m_user_ctx = ctx;
         m_push_eh = push_eh;
         m_pop_eh = pop_eh;