[MLton-commit] r6777

[Matthew Fluet]

Unused function
----------------------------------------------------------------------

U   mlton/trunk/runtime/gc/virtual-memory.c

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

Modified: mlton/trunk/runtime/gc/virtual-memory.c
===================================================================
--- mlton/trunk/runtime/gc/virtual-memory.c	2008-08-20 00:43:47 UTC (rev 6776)
+++ mlton/trunk/runtime/gc/virtual-memory.c	2008-08-20 00:43:53 UTC (rev 6777)
@@ -29,10 +29,3 @@
     return;
   memcpy (dst, src, size);
 }
-
-static inline void GC_memmove (pointer src, pointer dst, size_t size) {
-  if (DEBUG_DETAILED)
-    fprintf (stderr, "GC_memmove ("FMTPTR", "FMTPTR", %"PRIuMAX")\n",
-             (uintptr_t)src, (uintptr_t)dst, (uintmax_t)size);
-  memmove (dst, src, size);
-}