From f4fe8ef9eb92de6b5f51c4b50234f71dda3feb80 Mon Sep 17 00:00:00 2001
From: Daniel Raffler <daniel-raffler@gmx.de>
Date: Tue, 2 Jan 2024 23:08:01 +0100
Subject: [PATCH] Qickhack to fix
 https://github.com/sosy-lab/java-smt/issues/310. This will make all the
 threads use the same NodeManager. As a result Solver instances can move
 between threads. However, no two solver threads may ever run at the same
 time.

---
 src/expr/node_manager_template.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/expr/node_manager_template.cpp b/src/expr/node_manager_template.cpp
index 8a44f695c8e..935335df335 100644
--- a/src/expr/node_manager_template.cpp
+++ b/src/expr/node_manager_template.cpp
@@ -129,7 +129,7 @@ NodeManager::NodeManager()
 
 NodeManager* NodeManager::currentNM()
 {
-  thread_local static NodeManager nm;
+  static NodeManager nm;
   return &nm;
 }