diff -r 85efa3d01b16 -r a7e4b412cc7c src/HOL/Tools/Sledgehammer/async_manager_legacy.ML
--- a/src/HOL/Tools/Sledgehammer/async_manager_legacy.ML	Tue Oct 17 11:52:52 2023 +0200
+++ b/src/HOL/Tools/Sledgehammer/async_manager_legacy.ML	Tue Oct 17 12:10:58 2023 +0200
@@ -99,7 +99,7 @@
               NONE
             else
               let
-                val _ = List.app (Isabelle_Thread.interrupt_other o #1) canceling
+                val _ = List.app (Isabelle_Thread.interrupt_thread o #1) canceling
                 val canceling' = filter (Isabelle_Thread.is_active o #1) canceling
                 val state' = make_state manager timeout_heap' active canceling' messages
               in SOME (map #2 timeout_threads, state') end