From 2086acfb8611e6c28526264362aa62baa38464d8 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Thu, 15 Dec 2016 08:56:55 +0100
Subject: [PATCH] fix MC build with paranoid flags

---
 src/mc/PageStore.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/mc/PageStore.cpp b/src/mc/PageStore.cpp
index 78f28e68fc..90bfa3e130 100644
--- a/src/mc/PageStore.cpp
+++ b/src/mc/PageStore.cpp
@@ -16,6 +16,8 @@
 #include <xbt/log.h>
 #include <xbt/sysdep.h>
 
+#include "src/internal_config.h"
+
 #include "src/mc/PageStore.hpp"
 
 #include "src/mc/mc_mmu.h"
-- 
2.20.1