mc/compare: const/ref

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

diff --git a/src/mc/sosp/PageStore.cpp b/src/mc/sosp/PageStore.cpp
index 98c930818a6503b813d597ef658f2666b0825aa1..6cb9b5e5d984b1a5cdcae3f87a9f6722a7e985f2 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"