# HG changeset patch
# User wenzelm
# Date 1697014122 -7200
# Node ID 5838285a824578666af271b9f488342191944e9e
# Parent  f40b592922885308c54ba0f31b303efb78ee04d8
clarified name;

diff -r f40b59292288 -r 5838285a8245 src/HOL/Tools/Sledgehammer/async_manager_legacy.ML
--- a/src/HOL/Tools/Sledgehammer/async_manager_legacy.ML	Wed Oct 11 10:46:50 2023 +0200
+++ b/src/HOL/Tools/Sledgehammer/async_manager_legacy.ML	Wed Oct 11 10:48:42 2023 +0200
@@ -132,7 +132,7 @@
   check_thread_manager ())
 
 fun thread tool birth_time death_time desc f =
-  (Isabelle_Thread.fork (Isabelle_Thread.params "async_manager" |> Isabelle_Thread.interrupts)
+  (Isabelle_Thread.fork (Isabelle_Thread.params "async_worker" |> Isabelle_Thread.interrupts)
        (fn () =>
            let
              val self = Isabelle_Thread.self ()