# HG changeset patch
# User wenzelm
# Date 1197233090 -3600
# Node ID 1feb9c008d3ae1b120fed0433f6da92b4341ac99
# Parent  9385f043b910c866e8998fd6082944709e1153d6
ML_OPTIONS="-H 1500" -- potentially works around GC core dump;

diff -r 9385f043b910 -r 1feb9c008d3a Admin/isatest/settings/sun-poly
--- a/Admin/isatest/settings/sun-poly	Sun Dec 09 20:59:53 2007 +0100
+++ b/Admin/isatest/settings/sun-poly	Sun Dec 09 21:44:50 2007 +0100
@@ -4,7 +4,7 @@
   ML_SYSTEM="polyml-5.1"
   ML_PLATFORM="sparc-solaris"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-  ML_OPTIONS="-H 1000"
+  ML_OPTIONS="-H 1500"
 
 ISABELLE_HOME_USER=~/isabelle-sun-poly