[mc] Add AddressSpace::process() method

[simgrid.git] / src / mc / PageStore.hpp

diff --git a/src/mc/PageStore.hpp b/src/mc/PageStore.hpp
index 5dee482f776adf9b9282240c0d2aa8de023989de..c3dd009fe2896fb86ffd6065a695486713ae5f86 100644 (file)
--- 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"