model-checker : #ifdef instead of #if (found by Cristian R., thx)

diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c
index 0cff30e..24cc5e4 100644 (file)
--- 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",