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