From da765355e8e15f7d2dbc4d693adde587b907fd71 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 4 Dec 2021 11:48:41 -0800 Subject: [PATCH] don't rely on cleanup --- src/smt/tactic/smt_tactic_core.cpp | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/src/smt/tactic/smt_tactic_core.cpp b/src/smt/tactic/smt_tactic_core.cpp index 2af794e13d3..a9fd2fc729e 100644 --- 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;