From d18ed2ecfd01de2a4139025244308638bf475852 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 17 Aug 2012 00:24:49 +0200
Subject: [PATCH] model-checker : equal_to field of blocks/fragments updated
 twice with match_equals

---
 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 db24efae0b..3eb8b1038e 100644
--- a/src/xbt/mmalloc/mm_diff.c
+++ b/src/xbt/mmalloc/mm_diff.c
@@ -57,7 +57,6 @@ void mmalloc_backtrace_block_display(void* heapinfo, int block){
       fprintf(stderr, "%d ---> %s\n",i, e.bt_strings[i] + 4);
     }
   }
-
 }
 
 void mmalloc_backtrace_fragment_display(void* heapinfo, int block, int frag){
-- 
2.20.1