From 7cc6ff0a4c8248204f4209f87f62acdc2c5a8443 Mon Sep 17 00:00:00 2001
From: Ken McMillan <kenmcmil@microsoft.com>
Date: Tue, 25 Jun 2013 12:25:41 -0700
Subject: [PATCH] changed timeout behavior in duality

---
 src/muz_qe/duality_dl_interface.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/muz_qe/duality_dl_interface.cpp b/src/muz_qe/duality_dl_interface.cpp
index f0a5c5b6b..275d59f5d 100644
--- a/src/muz_qe/duality_dl_interface.cpp
+++ b/src/muz_qe/duality_dl_interface.cpp
@@ -367,8 +367,14 @@ expr_ref dl_interface::get_answer() {
 }
 
 void dl_interface::cancel() {
+#if 0
   if(_d && _d->ls)
     _d->ls->cancel();
+#else
+  // HACK: duality can't cancel at all times, we just exit here
+  std::cout << "(error \"duality canceled\")\nunknown\n";
+  exit(0);
+#endif
 }
 
 void dl_interface::cleanup() {