# HG changeset patch
# User wenzelm
# Date 1435265793 -7200
# Node ID 915da29bf5d9beba80eb98609dd2cf49d14e5e3c
# Parent  c708dafe2220d65ba674ffbbd1d1a4fcaca29999
more heap -- hoping for more stability of HOL-Proofs;

diff -r c708dafe2220 -r 915da29bf5d9 Admin/isatest/settings/at64-poly
--- a/Admin/isatest/settings/at64-poly	Thu Jun 25 21:45:00 2015 +0200
+++ b/Admin/isatest/settings/at64-poly	Thu Jun 25 22:56:33 2015 +0200
@@ -4,7 +4,7 @@
 
 ML_PLATFORM="$ISABELLE_PLATFORM64"
 ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-ML_OPTIONS="--minheap 2000 --maxheap 8000 --gcthreads 1"
+ML_OPTIONS="--minheap 4000 --maxheap 16000 --gcthreads 1"
 
 ISABELLE_HOME_USER=~/isabelle-at64-poly