fix MC build with paranoid flags

[simgrid.git] / src / mc / PageStore.cpp

diff --git a/src/mc/PageStore.cpp b/src/mc/PageStore.cpp
index 78f28e68fcab98953954cb0e2a78c6bfbaa21d3c..90bfa3e13010b3c1caf8e67613066d1ac0dd9c04 100644 (file)
--- a/src/mc/PageStore.cpp
+++ b/src/mc/PageStore.cpp
@@ -16,6 +16,8 @@
 #include <xbt/log.h>
 #include <xbt/sysdep.h>
 
+#include "src/internal_config.h"
+
 #include "src/mc/PageStore.hpp"
 
 #include "src/mc/mc_mmu.h"