X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/276959541aeb592113d450d79cf6eb3a39066dfe..3caf6372b036a72110757e43456d08e0a463e7d3:/src/surf/surf_config.c

diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c
index 0cff30ec83..24cc5e48d9 100644
--- a/src/surf/surf_config.c
+++ b/src/surf/surf_config.c
@@ -472,7 +472,7 @@ void surf_config_init(int *argc, char **argv)
                      xbt_cfgelm_int, &default_value_int, 0, 1,
                      NULL, NULL);
 
-#if HAVE_MC
+#ifdef HAVE_MC
     /* do model-checking */
     default_value_int = 0;
     xbt_cfg_register(&_surf_cfg_set, "model-check",