model-checker : set size used to 0 when free fragment

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

diff --git a/src/xbt/mmalloc/mfree.c b/src/xbt/mmalloc/mfree.c
index af83720..b11e21e 100644 (file)
--- a/src/xbt/mmalloc/mfree.c
+++ b/src/xbt/mmalloc/mfree.c
@@ -192,3 +192,4 @@ void mfree(struct mdesc *mdp, void *ptr)
     break;
   }
 }
+