From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 12 Aug 2013 18:11:35 +0000 (+0200)
Subject: model-checker : fix ignore global variable
X-Git-Tag: v3_9_90~128^2~8
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/da87c9b1533f7706bd33605e3b63aab65cad83ec

model-checker : fix ignore global variable
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 9120ca03bb..b68788700b 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -1393,7 +1393,6 @@ void MC_ignore_global_variable(const char *name){
         xbt_dynar_remove_at(mc_global_variables_libsimgrid, cursor, NULL);
         start = 0;
         end = xbt_dynar_length(mc_global_variables_libsimgrid) - 1;
-        break;
       }else if(strcmp(current_var->name, name) < 0){
         start = cursor + 1;
       }else{