From 0f92dfba0fa771a6ace6d9e969dfba8058e75570 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Mon, 9 Jan 2023 11:13:07 -0700
Subject: [PATCH] Prevent data race

---
 src/solver/parallel_tactical.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/solver/parallel_tactical.cpp b/src/solver/parallel_tactical.cpp
index 6d68df8a89d..b2f82edee37 100644
--- a/src/solver/parallel_tactical.cpp
+++ b/src/solver/parallel_tactical.cpp
@@ -460,6 +460,7 @@ class parallel_tactic : public tactic {
             conquer->get_model(mdl);
         }
         else {
+            std::lock_guard<std::mutex> lock(m_mutex);
             s.get_solver().get_model(mdl);
         }
         if (mdl) {