# HG changeset patch
# User wenzelm
# Date 1697024948 -7200
# Node ID 89202852e52ca380f453bf287a08787843ab2381
# Parent  6b3f13d396127f6069bb0393a89683e6123e5b8d
tuned;

diff -r 6b3f13d39612 -r 89202852e52c src/Pure/Concurrent/isabelle_thread.ML
--- a/src/Pure/Concurrent/isabelle_thread.ML	Wed Oct 11 12:37:11 2023 +0200
+++ b/src/Pure/Concurrent/isabelle_thread.ML	Wed Oct 11 13:49:08 2023 +0200
@@ -85,8 +85,7 @@
 val threads_stack_limit = Unsynchronized.ref 0.25;
 
 fun default_stack_limit () =
-  let
-    val limit = Real.floor (! threads_stack_limit * 1024.0 * 1024.0 * 1024.0);
+  let val limit = Real.floor (! threads_stack_limit * 1024.0 * 1024.0 * 1024.0)
   in if limit <= 0 then NONE else SOME limit end;
 
 abstype params = Params of {name: string, stack_limit: int option, interrupts: bool}