From 982b71db436b5e176fa75bc3d8a05b339c57717c Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 8 Aug 2012 12:06:33 +0200
Subject: [PATCH 1/1] model-checker : set size used to 0 when free fragment

---
 src/xbt/mmalloc/mfree.c | 1 +
 1 file changed, 1 insertion(+)

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