Found a bug/feature regarding the cancellation of a sleep (see comments directly...

[simgrid.git] / src / simix / smx_global.c

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index 0b2b78c56f4d03b7098434283eec7446a2cc2f0e..3ff404a8322f9c292d7ba1011cb89e42bacb44ec 100644 (file)
--- 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);
   }