From a8ec6e33d5e1d2c207eeb78111330271eb6f28fc Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 28 Nov 2011 16:28:41 +0100
Subject: [PATCH 1/1] model-checker : comparison of heap between two snapshots
 made on the copy and not on the current heap

---
 src/mc/mc_liveness.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 65f81501f4..c2f5f93e93 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -42,7 +42,7 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){
 	//XBT_DEBUG("Different start addr of heap (s1 = %p, s2 = %p)", s1->regions[i]->start_addr, s2->regions[i]->start_addr);
       return 1;
       }
-      if(mmalloc_compare_heap(s1->regions[i]->start_addr, s2->regions[i]->start_addr)){
+      if(mmalloc_compare_heap(s1->regions[i]->data, s2->regions[i]->data)){
 	//XBT_DEBUG("Different heap (mmalloc_compare)");
 	errors++; 
       }
-- 
2.20.1