model-checker : remove unused variable

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 68a564c..9120ca0 100644 (file)
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -1385,7 +1385,6 @@ void MC_ignore_global_variable(const char *name){
     dw_variable_t current_var;
     int start = 0;
     int end = xbt_dynar_length(mc_global_variables_libsimgrid) - 1;
     dw_variable_t current_var;
     int start = 0;
     int end = xbt_dynar_length(mc_global_variables_libsimgrid) - 1;

-    int var_found;

 
     while(start <= end){
       cursor = (start + end) /2;
 
     while(start <= end){
       cursor = (start + end) /2;