diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-09-18 16:39:33 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-09-18 16:52:24 -0400 |
commit | c44344c041ef50991d0e212ec23faf8febc8c805 (patch) | |
tree | 28945c09c2dbcf4219c96ddef794d5f5317310ca /src | |
parent | 8d5eb49d38371a2c682642d21d6b7aa151a9aa51 (diff) |
cvc4terminate infinite loop fix
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" |