From ae2f0ca85bc0b9c2207825298bcf5109ef96b330 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 3 Jun 2020 19:40:26 -0700
Subject: [PATCH] fix #4448

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

diff --git a/src/smt/tactic/smt_tactic.cpp b/src/smt/tactic/smt_tactic.cpp
index 1caeede92..ee09a9fa3 100644
--- a/src/smt/tactic/smt_tactic.cpp
+++ b/src/smt/tactic/smt_tactic.cpp
@@ -231,6 +231,9 @@ public:
                     mc = concat(fmc.get(), mc.get());
                     in->add(mc.get());
                 }
+                if (m_ctx->canceled() && !pr) {
+                    throw tactic_exception(Z3_CANCELED_MSG);
+                }
                 return;
             }
             case l_false: {