1 files changed, 2 insertions, 1 deletions
diff --git a/src/expr/node_manager.h b/src/expr/node_manager.h
index bf1bed5f0..5fb7c57ad 100644
--- a/src/expr/node_manager.h
+++ b/src/expr/node_manager.h
@@ -38,6 +38,7 @@
 #include "expr/node_value.h"
 #include "context/context.h"
 #include "util/configuration_private.h"
+#include "util/tls.h"
 
 namespace CVC4 {
 
@@ -70,7 +71,7 @@ class NodeManager {
                               expr::NodeValueIDHashFunction,
                               expr::NodeValueEq> ZombieSet;
 
-  static __thread NodeManager* s_current;
+  static CVC4_THREADLOCAL(NodeManager*) s_current;
 
   NodeValuePool d_nodeValuePool;