X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ce1289d4421b08ce6f69d8203784ee648671972e..d9c9e08948a8387e9e8ecb0fe67ab6b94ec2a66f:/src/simix/smx_global.c

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index 0b2b78c56f..3ff404a832 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -77,8 +77,8 @@ static void _XBT_CALL segvhandler(int signum, siginfo_t *siginfo, void *context)
   }
 #ifdef HAVE_MC
   if (MC_is_active()) {
-    if (mc_stack_safety) {
-      MC_dump_stack_safety(mc_stack_safety);
+    if (mc_stack) {
+      MC_dump_stack_safety(mc_stack);
     }
     MC_print_statistics(mc_stats);
   }