X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/cf9a823f1cfd8b0098a039bff8ff6567e9beac91..f0527e5764cc4d3d4938180a54b7fee812444209:/src/mc/mc_model_checker.h?ds=sidebyside

diff --git a/src/mc/mc_model_checker.h b/src/mc/mc_model_checker.h
index d590e0fc28..e8e7c8274e 100644
--- a/src/mc/mc_model_checker.h
+++ b/src/mc/mc_model_checker.h
@@ -13,6 +13,7 @@
 
 #include "mc_forward.h"
 #include "mc_process.h"
+#include "mc_page_store.h"
 
 SG_BEGIN_DECL()