From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Thu, 18 Sep 2014 20:39:33 +0000 (-0400)
Subject: cvc4terminate infinite loop fix
X-Git-Tag: cvc5-1.0.0~6509^2~29
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c44344c041ef50991d0e212ec23faf8febc8c805;p=cvc5.git

cvc4terminate infinite loop fix
---

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"