X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=mmalloc%2Fmvalloc.c;fp=mmalloc%2Fmvalloc.c;h=035a3368dffd2f8e2a7ddc1944dd401c99e5d7bb;hb=c3bd88fb6d9ede9d14cd24cd70b5b9352002ecc2;hp=e44942f5bb595b3aa7c4bcd970aef410f8ddeb7f;hpb=a34a08d6401b6b67c9d5d1260d816c8ea8b85558;p=ocaml-ancient.git

diff --git a/mmalloc/mvalloc.c b/mmalloc/mvalloc.c
index e44942f..035a336 100644
--- a/mmalloc/mvalloc.c
+++ b/mmalloc/mvalloc.c
@@ -42,9 +42,13 @@ mvalloc (md, size)
 }
 
 
+#if 0 // RWMJ
+
 PTR
 valloc (size)
   size_t size;
 {
   return mvalloc ((PTR) NULL, size);
 }
+
+#endif