From 2c61d0431237f51865b824c36dcb8d124d5d6589 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 6 Dec 2011 15:14:45 +0100
Subject: [PATCH] model-checker : block 0 (mdp->heapinfo[0]) removed in
 comparison of heap in mmalloc_compare_mdesc

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

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