Fix compilation issue

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

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index 0b2b78c..3bb6bff 100644 (file)
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -71,14 +71,14 @@ static void _XBT_CALL segvhandler(int signum, siginfo_t *siginfo, void *context)
 #ifdef HAVE_SMPI
     if (smpi_enabled() && !smpi_privatize_global_variables) {
       fprintf(stderr,
-        "Try to enable SMPI variable privatization with --cfg:smpi/privatize_global_variable:yes.\n");
+        "Try to enable SMPI variable privatization with --cfg=smpi/privatize_global_variables:yes.\n");
     }
 #endif
   }
 #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);
   }