diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-09-30 21:39:14 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-09-30 21:39:14 +0000 |
| commit | d0b49d588033ab8140bdf297c9cdf73b1088fe68 (patch) | |
| tree | 991a27d038a10d81805f7f02e10f8c78d68579dd /src/util/Assert.cpp | |
| parent | 1c2b7c593fa1c12575eb37e56a5c66a1a190ad81 (diff) | |
fixed a number of problems with mac os x builds. build now works on mac os x if you disable the clock_gettime check in configure.ac (resolves bug #202), but the parser is broken (new bug #208)
Diffstat (limited to 'src/util/Assert.cpp')
| -rw-r--r-- | src/util/Assert.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/Assert.cpp b/src/util/Assert.cpp index 01c40aca2..1435515ad 100644 --- a/src/util/Assert.cpp +++ b/src/util/Assert.cpp @@ -138,7 +138,7 @@ void AssertionException::construct(const char* header, const char* extra, */ void debugAssertionFailed(const AssertionException& thisException, const char* propagatingException) { - static __thread bool alreadyFired = false; + static CVC4_THREADLOCAL(bool) alreadyFired = false; if(EXPECT_TRUE( !std::uncaught_exception() ) || alreadyFired) { throw thisException; |