Cannot free this string here.

diff --git a/src/xbt/config.c b/src/xbt/config.c
index 835fd0e..cf6c778 100644 (file)
--- a/src/xbt/config.c
+++ b/src/xbt/config.c
@@ -657,7 +657,7 @@ void xbt_cfg_set_parse(xbt_cfg_t cfg, const char *options) {
 
     val = strchr(name, ':');
     if (!val) {
-      free(optionlist_cpy);
+      /* don't free(optionlist_cpy) here, 'name' points inside it */
       xbt_die("Option '%s' badly formated. Should be of the form 'name:value'",
               name);
     }