From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 8 Aug 2012 10:06:33 +0000 (+0200)
Subject: model-checker : set size used to 0 when free fragment
X-Git-Tag: v3_9_rc1~86^2~237^2~30
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/982b71db436b5e176fa75bc3d8a05b339c57717c

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