[MLton-commit] r7176

[Matthew Fluet]

Fix prototype to match r7173.
----------------------------------------------------------------------

U   mlton/trunk/runtime/platform.h

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

Modified: mlton/trunk/runtime/platform.h
===================================================================
--- mlton/trunk/runtime/platform.h	2009-06-18 22:26:02 UTC (rev 7175)
+++ mlton/trunk/runtime/platform.h	2009-06-18 23:04:10 UTC (rev 7176)
@@ -141,7 +141,7 @@
 
 PRIVATE void MLton_init (int argc, char **argv, GC_state s);
 PRIVATE __attribute__ ((noreturn)) void MLton_halt (GC_state s, C_Int_t status);
-PRIVATE __attribute__ ((noreturn)) void MLton_allocTooLarge (void);
+PRIVATE __attribute__ ((noreturn)) void MLton_heapCheckTooLarge (void);
 
 /* ---------------------------------------------------------------- */
 /*                        Utility libraries                         */