From 0a1eba1a45aa4b5551659721565bb1407b1fe60a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 31 Oct 2025 01:59:00 -0700 Subject: [PATCH] use copy, twice, not set (used by constructor) Signed-off-by: Nikolaj Bjorner --- src/smt/smt_parallel.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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(v)) { unsigned_value uv = std::get(v);