[mc] Multiple .so support for region snapshots

[simgrid.git] / src / mc / mc_config.c

diff --git a/src/mc/mc_config.c b/src/mc/mc_config.c
index 1f0d83688387bad8dfae454d7365190720ebbdf0..07c917988903a88a735087e9a976ec796e801157 100644 (file)
--- a/src/mc/mc_config.c
+++ b/src/mc/mc_config.c
@@ -14,6 +14,7 @@
 #include <simgrid/sg_config.h>
 
 #ifdef HAVE_MC
+#include "mc_safety.h"
 #include "mc_private.h"
 #endif