diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/main/util.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/util.cpp b/src/main/util.cpp index 5819028da..3b7c6b95a 100644 --- a/src/main/util.cpp +++ b/src/main/util.cpp @@ -199,6 +199,7 @@ void cvc4unexpected() { } void cvc4terminate() { + set_terminate(default_terminator); #ifdef CVC4_DEBUG fprintf(stderr, "\n" "CVC4 was terminated by the C++ runtime.\n" |