X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1e2351434a8b17b631dfe2775b455d8b2b5b8b0b..1f50f809c4d885ff2b2c1a626d69ebb4cea0502f:/src/surf/surf_config.c
diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c
index 52e68879cb..ebc30f74f9 100644
--- a/src/surf/surf_config.c
+++ b/src/surf/surf_config.c
@@ -6,12 +6,14 @@
/* surf_config: configuration infrastructure for the simulation world */
+#include "xbt/misc.h"
#include "xbt/config.h"
#include "xbt/log.h"
#include "xbt/str.h"
#include "surf/surf_private.h"
-#include "surf/surf_routing.h" /* COORD_HOST_LEVEL and COORD_ASR_LEVEL */
-#include "simix/context.h"
+#include "surf/surf_routing.h" /* COORD_HOST_LEVEL and COORD_ASR_LEVEL */
+#include "simgrid/simix.h"
+#include "mc/mc.h" /* configuration callbacks of model-checking */
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_config, surf,
"About the configuration of surf (and the rest of the simulation)");
@@ -38,13 +40,16 @@ static void surf_config_cmd_line(int *argc, char **argv)
xbt_cfg_help(_surf_cfg_set);
printf(
"\n"
+"Each of these configurations can be used by adding\n"
+" --cfg=