From da87c9b1533f7706bd33605e3b63aab65cad83ec Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Mon, 12 Aug 2013 20:11:35 +0200 Subject: [PATCH] model-checker : fix ignore global variable --- src/mc/mc_global.c | 1 - 1 file changed, 1 deletion(-) 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{ -- 2.20.1