# HG changeset patch
# User kleing
# Date 1185146277 -7200
# Node ID 8be45ac3bb7b5db74049e7f4863b85cdd5c60171
# Parent  0f8ad104452725937b5b7f1ae4d9a2fc7093a9f3
increase default max heap size for poly to -H 500 (this is what isatest uses,
-H 80 is not enough for HOL on at-mac-poly).

diff -r 0f8ad1044527 -r 8be45ac3bb7b etc/settings
--- a/etc/settings	Sun Jul 22 23:33:57 2007 +0200
+++ b/etc/settings	Mon Jul 23 01:17:57 2007 +0200
@@ -27,7 +27,7 @@
   "/opt/polyml/$ML_PLATFORM" \
   $POLY_HOME)
 ML_SYSTEM=$("$ISABELLE_HOME/lib/scripts/polyml-version")
-ML_OPTIONS="-H 80"
+ML_OPTIONS="-H 500"
 ML_DBASE=""
 
 # Poly/ML 5.0