X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a72c35e85de2cb28f96f869aaf6f7f59d73461ce..7ee2063d69289e99a0900135ba1625ac0bc514e0:/src/msg/msg_global.c diff --git a/src/msg/msg_global.c b/src/msg/msg_global.c index 9012803624..61ef0ab9d0 100644 --- a/src/msg/msg_global.c +++ b/src/msg/msg_global.c @@ -108,7 +108,7 @@ MSG_error_t MSG_main(void) fflush(stdout); fflush(stderr); - if (MC_IS_ENABLED && (_surf_do_model_check == 1)) { + if (MC_IS_ENABLED) { MC_do_the_modelcheck_for_real(); } else { SIMIX_run();