fix #4111

Z3Prover · Apr 26, 2020 · 236edad · 236edad
1 parent dc852a6
commit 236edad
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/opt/opt_solver.cpp b/src/opt/opt_solver.cpp
@@ -53,6 +53,7 @@ namespace opt {
             m_params.m_relevancy_lvl = 0;
         }
         m_params.m_arith_auto_config_simplex = false;
+        m_params.m_threads = 1; // need to interact with the solver that created model so can't have threads
         m_was_sat = false;
         // m_params.m_auto_config = false;
     }