X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6c57f2bcd30205dd1a6f11b8b4c2c77d45d9a81d..ed728cd807f102bbaa7d404ecc496a3fe45e5496:/src/simix/smx_global.c?ds=sidebyside

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index b888675998..024009f6c6 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -240,6 +240,10 @@ void SIMIX_run(void)
 
   if (xbt_swag_size(simix_global->process_list) != 0) {
 
+#ifdef HAVE_TRACING
+    TRACE_end();
+#endif
+
     XBT_WARN("Oops ! Deadlock or code not perfectly clean.");
     SIMIX_display_process_status();
     xbt_abort();