# HG changeset patch
# User wenzelm
# Date 1419175642 -3600
# Node ID a5094641da6ad61010d876f5362e26d52970d667
# Parent  c484992c813abce5151c07602c64a77cd399f1a0
afford more heap;

diff -r c484992c813a -r a5094641da6a Admin/isatest/settings/at64-poly
--- a/Admin/isatest/settings/at64-poly	Sun Dec 21 16:26:22 2014 +0100
+++ b/Admin/isatest/settings/at64-poly	Sun Dec 21 16:27:22 2014 +0100
@@ -6,7 +6,7 @@
   ML_SYSTEM="polyml-5.5.2"
   ML_PLATFORM="x86_64-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-  ML_OPTIONS="--minheap 1000 --maxheap 3000 --gcthreads 1"
+  ML_OPTIONS="--minheap 2000 --maxheap 8000 --gcthreads 1"
 
 ISABELLE_HOME_USER=~/isabelle-at64-poly