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:39:33 -0400 |
commit | e8f2fcf2fd26542a3b1f24a67adae62508a741b4 (patch) | |
tree | fe5d14538e3f9187bd37e269870206d901ed7ece | |
parent | 39946c7854aeeae18fbe5f6312c07e11ef5a3dce (diff) |
cvc4terminate infinite loop fix
-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" |