X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/65d3d8fcbbea9adce80f7c2606d0dabc2bdd7f1c..7b784c47bdc7fd9521ab151e654c0260dca7f2b3:/src/mc/mc_global.c

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 0692a233f4..28a5c4e261 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -229,8 +229,7 @@ void MC_modelcheck_liveness(){
   /* We're done */
   MC_print_statistics_pairs(mc_stats_pair);
   xbt_free(mc_time);
-  MC_memory_exit();
-  exit(0);
+
 }