proper stack_limit;
authorwenzelm
Sun May 24 21:01:51 2020 +0200 (6 weeks ago)
changeset 718842bf0283fc975
parent 71883 44ba78056790
child 71885 45f85e283ce0
proper stack_limit;
src/Pure/Tools/build.ML
     1.1 --- a/src/Pure/Tools/build.ML	Sun May 24 20:59:34 2020 +0200
     1.2 +++ b/src/Pure/Tools/build.ML	Sun May 24 21:01:51 2020 +0200
     1.3 @@ -255,7 +255,8 @@
     1.4            fun exec e =
     1.5              if can Theory.get_pure () then
     1.6                Isabelle_Thread.fork
     1.7 -                {name = "build_session", stack_limit = NONE, interrupts = false} e
     1.8 +                {name = "build_session", stack_limit = Isabelle_Thread.stack_limit (),
     1.9 +                  interrupts = false} e
    1.10                |> ignore
    1.11              else e ();
    1.12          in