From afa34a1c12e83e86ab563e90b601771350fef336 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 25 Feb 2020 12:58:45 -0800
Subject: [PATCH] fix #3087

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_context.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index e26aa4403..464a3d78c 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -3579,6 +3579,8 @@ namespace smt {
             VERIFY(!resolve_conflict());
             return l_false;
         }
+        if (get_cancel_flag())
+            return l_undef;
         timeit tt(get_verbosity_level() >= 100, "smt.stats");
         reset_model();
         SASSERT(at_search_level());