X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ae19c0900634fedd66327d68b3202e4d8f9c186d..f43536687685f8e4ff5c43fa22e571750327e5ed:/src/mc/PageStore.hpp

diff --git a/src/mc/PageStore.hpp b/src/mc/PageStore.hpp
index 5dee482f77..c3dd009fe2 100644
--- a/src/mc/PageStore.hpp
+++ b/src/mc/PageStore.hpp
@@ -13,6 +13,8 @@
 #include <boost/unordered_map.hpp>
 #include <boost/unordered_set.hpp>
 
+#include <xbt/base.h>
+
 #include "mc_mmu.h"
 #include "mc_forward.hpp"