Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified name;
authorwenzelm
Wed, 11 Oct 2023 10:48:42 +0200
changeset 78754 5838285a8245
parent 78753 f40b59292288
child 78755 42e48ad59cda
clarified name;
src/HOL/Tools/Sledgehammer/async_manager_legacy.ML file | annotate | diff | comparison | revisions 
--- 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 ()
isabelle