X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/030a05a00b073b9a464a4f508d0991cf983ea0df..44d361c91bd348cd70ee6afbdf63a5c2a7406dc1:/src/mc/mc_global.c diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 22b30584e1..da3f134a0c 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -60,6 +60,7 @@ void MC_modelcheck(void) void MC_exit(void) { + MC_print_statistics(mc_stats); xbt_free(mc_time); MC_memory_exit(); }