Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove pointless #includes
[simgrid.git] / src / mc / ChunkedData.cpp
index 4e8499e..8d5a8e0 100644 (file)
@@ -14,6 +14,7 @@
 
 #include "src/mc/AddressSpace.hpp"
 #include "src/mc/ChunkedData.hpp"
+#include "src/mc/PageStore.hpp"
 
 #define SOFT_DIRTY_BIT_NUMBER 55
 #define SOFT_DIRTY (((uint64_t)1) << SOFT_DIRTY_BIT_NUMBER)