X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5045b9c72e64d6dedf60d8bf51038c3f05d874e2..8c13bb27e65a53b8d533858a8c764ce5f7a3f067:/src/mc/PageStore.cpp

diff --git a/src/mc/PageStore.cpp b/src/mc/PageStore.cpp
index 78f28e68fc..90bfa3e130 100644
--- 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"