From fa94c1ceafe3f3cc43a97b1beb87926ca2648d32 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 5 Oct 2012 19:26:25 +0200
Subject: [PATCH] model-checker : forget to remove unused variables

---
 src/mc/mc_compare.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index 1ca61f0b7a..232fe7246a 100644
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -179,11 +179,10 @@ int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){
   }
 
   /* Stacks comparison */
-  unsigned int cursor = 1, cursor2 = 0;
+  unsigned int cursor = 1;
   stack_region_t stack_region1, stack_region2;
   void *sp1, *sp2;
   int diff = 0, diff_local = 0;
-  heap_equality_t equality;
 
   while(cursor < xbt_dynar_length(stacks1)){
     XBT_INFO("Stack %d", cursor + 1); 
-- 
2.20.1