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: {