From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 16 Jul 2012 14:19:23 +0000 (+0200)
Subject: model-checker : #ifdef instead of #if (found by Cristian R., thx)
X-Git-Tag: v3_8~272
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f35266523c599068c264085705e4d3a5b01b75ca?hp=be19e964988343fe21eac64b7829e744f3fd4b4e

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 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",