X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7e8ebb31f1398dde2eb6ffc16a20a7f3a1063fd6..bc48db087894fd960073b3120cebf90e6b2f8c02:/src/xbt/config.c diff --git a/src/xbt/config.c b/src/xbt/config.c index a1f7e73ff2..e5d71a48c1 100644 --- a/src/xbt/config.c +++ b/src/xbt/config.c @@ -720,7 +720,7 @@ void *xbt_cfg_set_as_string(xbt_cfg_t cfg, const char *key, const char *value) { TRY { while (variable == NULL) { variable = xbt_dict_get((xbt_dict_t) cfg, key); - while (variable->type == xbt_cfgelm_alias) { + if (variable->type == xbt_cfgelm_alias) { const char *newname = (const char*)variable->content; XBT_INFO("Note: configuration '%s' is deprecated. Please use '%s' instead.", key, newname); key = newname;