# HG changeset patch
# User wenzelm
# Date 1379107024 -7200
# Node ID e58a33c2eb7f74696b5e00cc99ef24774a3f5148
# Parent  fe0ef7c120d6b3643397a0cc07e7800407c63b7c
restricted heap, which might improve stability of this test;

diff -r fe0ef7c120d6 -r e58a33c2eb7f Admin/isatest/settings/at64-poly
--- a/Admin/isatest/settings/at64-poly	Fri Sep 13 22:33:16 2013 +0200
+++ b/Admin/isatest/settings/at64-poly	Fri Sep 13 23:17:04 2013 +0200
@@ -6,7 +6,7 @@
   ML_SYSTEM="polyml-5.5.1"
   ML_PLATFORM="x86_64-linux"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-  ML_OPTIONS="-H 1000 --gcthreads 1"
+  ML_OPTIONS="--minheap 1000 --maxheap 3000 --gcthreads 1"
 
 ISABELLE_HOME_USER=~/isabelle-at64-poly