From 17824df3cd8d03e47e90d68ab2175242b17dfc05 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 31 Dec 2019 11:55:00 -0800 Subject: [PATCH] Update inc_sat_solver.cpp revert local change --- src/sat/sat_solver/inc_sat_solver.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/sat/sat_solver/inc_sat_solver.cpp b/src/sat/sat_solver/inc_sat_solver.cpp index d1f4d9595..baea99c03 100644 --- a/src/sat/sat_solver/inc_sat_solver.cpp +++ b/src/sat/sat_solver/inc_sat_solver.cpp @@ -556,7 +556,8 @@ public: mk_card2bv_tactic(m, m_params), // updates model converter using_params(mk_simplify_tactic(m), simp2_p), mk_max_bv_sharing_tactic(m), - mk_bit_blaster_tactic(m, m_bb_rewriter.get()) + mk_bit_blaster_tactic(m, m_bb_rewriter.get()), + using_params(mk_simplify_tactic(m), simp2_p) ); while (m_bb_rewriter->get_num_scopes() < m_num_scopes) { m_bb_rewriter->push();