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());