model-checker : don't call exit at the end of MC (segfault on atexit)

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 0692a23..28a5c4e 100644 (file)
--- 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);
+
 }