[mc] Let the Checker give us the current record trace

[simgrid.git] / src / simgrid / sg_config.c

diff --git a/src/simgrid/sg_config.c b/src/simgrid/sg_config.c
index 054272a..62cb97d 100644 (file)
--- a/src/simgrid/sg_config.c
+++ b/src/simgrid/sg_config.c
@@ -23,7 +23,6 @@
 #include "smpi/smpi_interface.h"
 #endif
 #include "mc/mc.h"
-#include "src/mc/mc_record.h"
 #include "simgrid/instr.h"
 #include "src/mc/mc_replay.h"