From 5c0fc1676425be94aefdbda1baaf68334b51052b Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Tue, 28 May 2019 10:53:45 +0200
Subject: [PATCH] Missing include (HAVE_MREMAP).

---
 src/mc/sosp/PageStore.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mc/sosp/PageStore.cpp b/src/mc/sosp/PageStore.cpp
index 98c930818a..6cb9b5e5d9 100644
--- a/src/mc/sosp/PageStore.cpp
+++ b/src/mc/sosp/PageStore.cpp
@@ -8,6 +8,7 @@
 #define MAP_POPULATE MAP_PREFAULT_READ
 #endif
 
+#include "src/internal_config.h"
 #include "xbt/log.h"
 #include "xbt/sysdep.h"
 
-- 
2.20.1