Missing include (HAVE_MREMAP).

diff --git a/src/mc/sosp/PageStore.cpp b/src/mc/sosp/PageStore.cpp
index 98c9308..6cb9b5e 100644 (file)
--- a/src/mc/sosp/PageStore.cpp
+++ b/src/mc/sosp/PageStore.cpp
@@ -8,6 +8,7 @@
 #define MAP_POPULATE MAP_PREFAULT_READ
 #endif
 
+#include "src/internal_config.h"
 #include "xbt/log.h"
 #include "xbt/sysdep.h"