changeset 71884 | 2bf0283fc975 |
parent 71880 | 0ca353521753 |
child 72002 | 5c4800f6b25a |
--- a/src/Pure/Tools/build.ML Sun May 24 20:59:34 2020 +0200 +++ b/src/Pure/Tools/build.ML Sun May 24 21:01:51 2020 +0200 @@ -255,7 +255,8 @@ fun exec e = if can Theory.get_pure () then Isabelle_Thread.fork - {name = "build_session", stack_limit = NONE, interrupts = false} e + {name = "build_session", stack_limit = Isabelle_Thread.stack_limit (), + interrupts = false} e |> ignore else e (); in