From dba826039d457d5b29ef418179d7f42a68ec10b8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 14 Jun 2026 23:31:37 -0700
Subject: [PATCH] avoid spurious cancel

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

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