diff options
Diffstat (limited to 'src/api/cvc4cpp.cpp')
| -rw-r--r-- | src/api/cvc4cpp.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/api/cvc4cpp.cpp b/src/api/cvc4cpp.cpp index 10f39cb38..0c94320c3 100644 --- a/src/api/cvc4cpp.cpp +++ b/src/api/cvc4cpp.cpp @@ -748,7 +748,7 @@ class CVC4ApiExceptionStream * default to noexcept(true) (else this triggers a call to std::terminate). */ ~CVC4ApiExceptionStream() noexcept(false) { - if (!std::uncaught_exception()) + if (std::uncaught_exceptions() == 0) { throw CVC4ApiException(d_stream.str()); } @@ -769,7 +769,7 @@ class CVC4ApiRecoverableExceptionStream * default to noexcept(true) (else this triggers a call to std::terminate). */ ~CVC4ApiRecoverableExceptionStream() noexcept(false) { - if (!std::uncaught_exception()) + if (std::uncaught_exceptions() == 0) { throw CVC4ApiRecoverableException(d_stream.str()); } |