Merge branch 'master' into actor-priority

[simgrid.git] / src / xbt / mmalloc / mfree.c

diff --git a/src/xbt/mmalloc/mfree.c b/src/xbt/mmalloc/mfree.c
index 7ee5e76..47efab7 100644 (file)
--- a/src/xbt/mmalloc/mfree.c
+++ b/src/xbt/mmalloc/mfree.c
@@ -24,7 +24,6 @@ void mfree(struct mdesc *mdp, void *ptr)
   size_t i;
   int it;
 
-  mmalloc_paranoia(mdp);
 //  fprintf(stderr,"free(%p)\n",ptr);
 
   if (ptr == NULL)