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

diff --git a/src/xbt/mmalloc/mm_legacy.c b/src/xbt/mmalloc/mm_legacy.c
index 0242f2a..6ed27cc 100644 (file)
--- 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;
       }
     }