From f35266523c599068c264085705e4d3a5b01b75ca Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 16 Jul 2012 16:19:23 +0200
Subject: [PATCH 1/1] model-checker : #ifdef instead of #if (found by Cristian
 R., thx)

---
 src/surf/surf_config.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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