From 234bab0555dfe251f5da7b29122d26d393e64cf6 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 17 Aug 2012 00:32:52 +0200
Subject: [PATCH 1/1] model-checker : remove unnecessary step

---
 src/xbt/mmalloc/mm_diff.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c
index 3eb8b1038e..e782907cc9 100644
--- a/src/xbt/mmalloc/mm_diff.c
+++ b/src/xbt/mmalloc/mm_diff.c
@@ -424,7 +424,6 @@ int mmalloc_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2, xbt_dynar_t *stac
               }
 
             }
-
         }
 
         while(i2 <= heaplimit && !equal){
-- 
2.20.1