diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-08 09:34:20 +0000 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-08 09:34:20 +0000 |
commit | 018d28f22253eb666044b3e2f5e6192b45fb7680 (patch) | |
tree | c34038eb820c13b38cabd9ab827812b96c1cc9ab | |
parent | 8cd22903675724e29249ce089ee77c7c4d3897fb (diff) |
threadlocal
-rw-r--r-- | src/util/node_visitor.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/node_visitor.h b/src/util/node_visitor.h index 687272b56..245c81224 100644 --- 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; } |