diff --git a/src/smt/smt_parallel.cpp b/src/smt/smt_parallel.cpp
index 2e893360b..ac0193169 100644
--- a/src/smt/smt_parallel.cpp
+++ b/src/smt/smt_parallel.cpp
@@ -1694,6 +1694,8 @@ namespace smt {
 
     void parallel::batch_manager::set_canceled() {
         std::scoped_lock lock(mux);
+        if (m_state != state::is_running)
+            return;
         cancel_background_threads();
     }