Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/build.ML
changeset 78753 f40b59292288
parent 78725 3c02ad5a1586
child 78757 a094bf81a496 
--- a/src/Pure/Tools/build.ML	Wed Oct 11 10:16:17 2023 +0200
+++ b/src/Pure/Tools/build.ML	Wed Oct 11 10:46:50 2023 +0200
@@ -102,9 +102,7 @@
 
           fun exec e =
             if can Theory.get_pure () then
-              Isabelle_Thread.fork
-                {name = "build_session", stack_limit = Isabelle_Thread.stack_limit (),
-                  interrupts = false} e
+              Isabelle_Thread.fork (Isabelle_Thread.params "build_session") e
               |> ignore
             else e ();
         in
isabelle