From 236edad8dc0106785ab933fcad49eea86c53df04 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 26 Apr 2020 14:44:50 -0700
Subject: [PATCH] fix #4111

---
 src/opt/opt_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/opt/opt_solver.cpp b/src/opt/opt_solver.cpp
index 1c392d47d..72e9c3ea3 100644
--- 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;
     }