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

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;
   }
 }
+