From b37e893be6476c05a93664395505f7eb4e4dd66e Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 21 Jun 2012 11:38:10 +0200
Subject: [PATCH] model-checker : unused variable

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

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index 6443295b44..b03fd4bb84 100644
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -61,7 +61,7 @@ void MC_dpor(void)
   mc_state_t state = NULL, prev_state = NULL, next_state = NULL, restore_state=NULL;
   smx_process_t process = NULL;
   xbt_fifo_item_t item = NULL;
-  int pos, i = 1;
+  int pos;
 
   while (xbt_fifo_size(mc_stack_safety) > 0) {
 
-- 
2.20.1