From df2e9d8fe249048f75fb4c685676c2afed589136 Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Wed, 23 May 2018 17:12:28 -0700 Subject: [PATCH] Make smt_solver::updt_params() commulative --- src/smt/smt_solver.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/smt/smt_solver.cpp b/src/smt/smt_solver.cpp index 0bef90a48..01b78b80e 100644 --- a/src/smt/smt_solver.cpp +++ b/src/smt/smt_solver.cpp @@ -110,9 +110,9 @@ namespace smt { void updt_params(params_ref const & p) override { solver::updt_params(p); - m_smt_params.updt_params(p); - m_context.updt_params(p); - smt_params_helper smth(p); + m_smt_params.updt_params(solver::get_params()); + m_context.updt_params(solver::get_params()); + smt_params_helper smth(solver::get_params()); m_core_extend_patterns = smth.core_extend_patterns(); m_core_extend_patterns_max_distance = smth.core_extend_patterns_max_distance(); m_core_extend_nonlocal_patterns = smth.core_extend_nonlocal_patterns();