X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2600e409fa6961dcd35dd7043281b8761fef94ca..43f5aa483faaf237121a30a49e59ce74e42e1acc:/src/simgrid/sg_config.c
diff --git a/src/simgrid/sg_config.c b/src/simgrid/sg_config.c
index 6e8ccc1b64..6bfc5c7da3 100644
--- a/src/simgrid/sg_config.c
+++ b/src/simgrid/sg_config.c
@@ -20,7 +20,9 @@
#include "simgrid/sg_config.h"
#include "smpi/smpi_interface.h"
#include "mc/mc.h"
-#include "instr/instr.h"
+#include "mc/mc_record.h"
+#include "simgrid/instr.h"
+#include "mc/mc_replay.h"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_config, surf,
"About the configuration of simgrid");
@@ -67,11 +69,10 @@ static void sg_config_cmd_line(int *argc, char **argv)
"Each of these configurations can be used by adding\n"
" --cfg=