From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 6 Dec 2011 14:14:45 +0000 (+0100)
Subject: model-checker : block 0 (mdp->heapinfo[0]) removed in comparison of heap in mmalloc_c... 
X-Git-Tag: exp_20120216~133^2~17
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2c61d0431237f51865b824c36dcb8d124d5d6589

model-checker : block 0 (mdp->heapinfo[0]) removed in comparison of heap in mmalloc_compare_mdesc
---

diff --git a/src/xbt/mmalloc/mm_legacy.c b/src/xbt/mmalloc/mm_legacy.c
index 0242f2a45e..6ed27ccc59 100644
--- a/src/xbt/mmalloc/mm_legacy.c
+++ b/src/xbt/mmalloc/mm_legacy.c
@@ -403,7 +403,7 @@ int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2){
 	}
 	i = block_free + mdp1->heapinfo[block_free].free.size;
       }else{
-	i = 0;
+	i = 1;
       }
     }