diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp
index fde48db95..0d0c844e6 100644
--- a/src/smt/smt_parallel.cpp
+++ b/src/smt/smt_parallel.cpp
@@ -164,7 +164,8 @@ namespace smt {
 
     params_ref parallel::param_generator::apply_param_values(param_values const &pv) {
         params_ref p;
-        p.copy(m_p);        
+        p.copy(m_p);
+        p.copy(m_p); // hack to break default sharing of parameters
         for (auto const &[k, v] : pv) {
             if (std::holds_alternative<unsigned_value>(v)) {
                 unsigned_value uv = std::get<unsigned_value>(v);