Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

[simgrid.git] / src / mc / mc_mmu.h

diff --git a/src/mc/mc_mmu.h b/src/mc/mc_mmu.h
index 9e2aaa5180c48981eb91133415ef687058024e04..c7d5b976f1d7cd8494c40b5cce3ec3d7a67864d2 100644 (file)
--- a/src/mc/mc_mmu.h
+++ b/src/mc/mc_mmu.h
@@ -6,15 +6,7 @@
 #ifndef SIMGRID_MC_MMU_H
 #define SIMGRID_MC_MMU_H
 
-#include <cstdint>
-#include <cstddef>
-
-#include <xbt/asserts.h>
-#include <xbt/base.h> // xbt_pagesize...
-#include <xbt/misc.h>
-
-#include <simgrid_config.h>
-
+#include "xbt/misc.h" // xbt_pagesize...
 
 namespace simgrid {
 namespace mc {