[mc] Remove useless header #includes

[simgrid.git] / src / mc / mc_record.c

diff --git a/src/mc/mc_record.c b/src/mc/mc_record.c
index b898e566d700ac9d80c952752eb74a24f2b05955..d9d79e1de8fa9f3f66f503c8fe1475c7988d6777 100644 (file)
--- a/src/mc/mc_record.c
+++ b/src/mc/mc_record.c
@@ -10,11 +10,13 @@
 #include <xbt.h>
 #include <simgrid/simix.h>
 
-#include "mc_base.h"
 #include "mc_record.h"
+#include "mc_base.h"
 
 #ifdef HAVE_MC
 #include "mc_private.h"
+#include "mc_model_checker.h"
+#include "mc_state.h"
 #endif
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_record, mc,