X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7da2926d0733ff0683f31aeea176ce71e127264f..1d95145df4657e19b9a02db53de4c9f758a0c6f5:/src/mc/mc_record.h

diff --git a/src/mc/mc_record.h b/src/mc/mc_record.h
index 2939b6af07..94f6040c81 100644
--- a/src/mc/mc_record.h
+++ b/src/mc/mc_record.h
@@ -17,9 +17,7 @@
 #ifndef SIMGRID_MC_RECORD_H
 #define SIMGRID_MC_RECORD_H
 
-#include <stdbool.h>
-
-#include "simgrid_config.h"
+#include <xbt/base.h>
 
 SG_BEGIN_DECL()