X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/946b604fdce1a3ca5bfd2f512aa69d78b3259a13..c46aba70aa4ccf22cc19fac31d451c7158e922dd:/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;