[MLton-commit] r6940

[Wesley Terpstra]

The @MLton option may-page-heap was incorrectly read from 'page-heap'.


----------------------------------------------------------------------

U   mlton/trunk/runtime/gc/init.c

----------------------------------------------------------------------

Modified: mlton/trunk/runtime/gc/init.c
===================================================================
--- mlton/trunk/runtime/gc/init.c	2008-10-15 11:04:48 UTC (rev 6939)
+++ mlton/trunk/runtime/gc/init.c	2008-10-16 00:59:18 UTC (rev 6940)
@@ -175,7 +175,7 @@
           s->controls.ratios.nursery = stringToFloat (argv[i++]);
           unless (1.0 < s->controls.ratios.nursery)
             die ("@MLton nursery-ratio argument must be greater than 1.0.");
-        } else if (0 == strcmp (arg, "page-heap")) {
+        } else if (0 == strcmp (arg, "may-page-heap")) {
           i++;
           if (i == argc)
             die ("@MLton may-page-heap missing argument.");