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

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

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