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();