Free previously set process data.

[simgrid.git] / src / xbt / config.c

diff --git a/src/xbt/config.c b/src/xbt/config.c
index 49667ddf5e1caef7096a71c8ac7da49282c4e517..60bf7a6d9a84c267aa95dc316548ff436fa3b525 100644 (file)
--- a/src/xbt/config.c
+++ b/src/xbt/config.c
@@ -741,6 +741,7 @@ void *xbt_cfg_set_as_string(xbt_cfg_t cfg, const char *key, const char *value) {
 
   case xbt_cfgelm_boolean:
     xbt_cfg_set_boolean(cfg, key, value);  /* throws */
+    ret = (char *)value + strlen(value);
     break;
 
   case xbt_cfgelm_peer: