X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/121e1dc6ee0462b6f6f1f1570b0f48c61ee4ff9a..da6a8948438ab0798f492ed7bf5dad2a515ca04e:/src/mc/PageStore.cpp diff --git a/src/mc/PageStore.cpp b/src/mc/PageStore.cpp index a8e149aeb4..feef524b97 100644 --- a/src/mc/PageStore.cpp +++ b/src/mc/PageStore.cpp @@ -12,9 +12,9 @@ # define MAP_POPULATE MAP_PREFAULT_READ #endif -#include -#include -#include +#include "xbt/base.h" +#include "xbt/log.h" +#include "xbt/sysdep.h" #include "src/internal_config.h"