1 files changed, 3 insertions, 2 deletions
diff --git a/src/base/cvc4_assert.cpp b/src/base/cvc4_assert.cpp
index c122667f3..f342f5562 100644
--- a/src/base/cvc4_assert.cpp
+++ b/src/base/cvc4_assert.cpp
@@ -20,13 +20,14 @@
 
 #include "base/cvc4_assert.h"
 #include "base/output.h"
+#include "base/tls.h"
 
 using namespace std;
 
 namespace CVC4 {
 
 #ifdef CVC4_DEBUG
-//CVC4_THREADLOCAL(const char*) s_debugLastException = NULL;
+//CVC4_THREAD_LOCAL const char* s_debugLastException = NULL;
 #endif /* CVC4_DEBUG */
 
 
@@ -140,7 +141,7 @@ void AssertionException::construct(const char* header, const char* extra,
  */
 void debugAssertionFailed(const AssertionException& thisException,
                           const char* propagatingException) {
-  static CVC4_THREADLOCAL(bool) alreadyFired = false;
+  static CVC4_THREAD_LOCAL bool alreadyFired = false;
 
   if(__builtin_expect( ( !std::uncaught_exception() ), true ) || alreadyFired) {
     throw thisException;