[mc] Remove useless header #includes

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

diff --git a/src/mc/mc_config.c b/src/mc/mc_config.c
index 1f0d836..07c9179 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