From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 14 Jun 2012 09:09:07 +0000 (+0200)
Subject: model-checker : comment unused variable
X-Git-Tag: v3_8~618
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3a9296ac633cb50a3e830b2eb6e5e84520236f07

model-checker : comment unused variable
---

diff --git a/src/xbt/mmalloc/mm_diff.c b/src/xbt/mmalloc/mm_diff.c
index 4c19a3861a..87c8b9848d 100644
--- a/src/xbt/mmalloc/mm_diff.c
+++ b/src/xbt/mmalloc/mm_diff.c
@@ -215,8 +215,8 @@ int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2){
   int total_distance = 0;
 
   //void *end_heap = (char *)mdp1 + ((char*)mdp1->top - (char *)s_heap);
-  void *breakval1 = (char *)mdp1 + ((char*)mdp1->breakval - (char *)s_heap);
-  void *breakval2 = (char *)mdp2 + ((char*)mdp2->breakval - (char *)s_heap);
+  //void *breakval1 = (char *)mdp1 + ((char*)mdp1->breakval - (char *)s_heap);
+  //void *breakval2 = (char *)mdp2 + ((char*)mdp2->breakval - (char *)s_heap);
 
   int pointer_align;
   void *address_pointed1, *address_pointed2;