# HG changeset patch
# User wenzelm
# Date 908899463 -7200
# Node ID 53b00681c63b86f57f1534b93abd00018696f9f3
# Parent  77ad51744aee66e5a410763f2145729fc58d4648
tuned stack_overflow_handler;

diff -r 77ad51744aee -r 53b00681c63b src/Pure/ML-Systems/mlworks.ML
--- a/src/Pure/ML-Systems/mlworks.ML	Tue Oct 20 17:52:52 1998 +0200
+++ b/src/Pure/ML-Systems/mlworks.ML	Tue Oct 20 18:04:23 1998 +0200
@@ -19,9 +19,9 @@
 (* MLWorks parameters *)
 
 val _ =
- (MLWorks.Internal.Runtime.Event.stack_overflow_handler
-    (fn () => MLWorks.Internal.Runtime.Memory.max_stack_blocks :=
-      ! MLWorks.Internal.Runtime.Memory.max_stack_blocks + 20);
+ (MLWorks.Internal.Runtime.Event.stack_overflow_handler (fn () =>
+    let val max_stack = MLWorks.Internal.Runtime.Memory.max_stack_blocks
+    in max_stack := (! max_stack * 3) div 2 + 5 end);
   MLWorks.Internal.Runtime.Memory.gc_message_level := 10;
   (*Is this of any use at all?*)
   Shell.Options.set (Shell.Options.ValuePrinter.showExnDetails, true));