Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : unused variable
[simgrid.git] / src / mc / mc_dpor.c
index 6443295..b03fd4b 100644 (file)
@@ -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) {