X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/07c319ec54d6fc778ee3cc5e75a747242006723e..b9ac20f457fd260735c156a3dc5baa30be97e9c6:/src/msg/global.c

diff --git a/src/msg/global.c b/src/msg/global.c
index 84894f7207..eaf3e195a5 100644
--- a/src/msg/global.c
+++ b/src/msg/global.c
@@ -143,12 +143,10 @@ MSG_error_t MSG_main(void)
   fflush(stdout);
   fflush(stderr);
 
-#ifdef HAVE_MC
-  if (_surf_do_model_check){
+  if (MC_IS_ENABLED) {
     MC_modelcheck();
-  }else
-#endif
-  {
+  }
+  else {
     SIMIX_run();
   }
   return MSG_OK;
@@ -209,12 +207,12 @@ MSG_error_t MSG_clean(void)
   /* initialization of the action module */
   _MSG_action_exit();
 
-  SIMIX_clean();
-
 #ifdef HAVE_TRACING
   TRACE_end();
 #endif
 
+  SIMIX_clean();
+
   return MSG_OK;
 }