diff options
Diffstat (limited to 'src/util/Assert.h')
-rw-r--r-- | src/util/Assert.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/Assert.h b/src/util/Assert.h index 8c230218c..ad3f4b1d3 100644 --- a/src/util/Assert.h +++ b/src/util/Assert.h @@ -212,6 +212,7 @@ extern __thread CVC4_PUBLIC const char* s_debugAssertionFailure; Warning() << "The propagating exception is:" << std::endl \ << s_debugAssertionFailure << std::endl \ << "===========================================" << std::endl; \ + s_debugAssertionFailure = NULL; \ } \ } else { \ throw AssertionException(#cond, __PRETTY_FUNCTION__, __FILE__, __LINE__, ## msg); \ |