threadlocal

diff --git a/src/util/node_visitor.h b/src/util/node_visitor.h
index 687272b561b182fe6f5668cebf22a60fa40cedc9..245c8122446856d7d223bdba3835c3bc67929cd4 100644 (file)
--- a/src/util/node_visitor.h
+++ b/src/util/node_visitor.h
@@ -32,7 +32,7 @@ template<typename Visitor>
 class NodeVisitor {
 
   /** For re-entry checking */
-  static bool d_inRun;
+  static CVC4_THREADLOCAL(bool) d_inRun;
 
   class GuardReentry {
     bool& d_guard;
@@ -111,7 +111,7 @@ public:
 };
 
 template <typename Visitor>
-bool NodeVisitor<Visitor>::d_inRun = false;
+CVC4_THREADLOCAL(bool) NodeVisitor<Visitor>::d_inRun = false;
 
 }