X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1d313eeb54204a0641ba0a750f4b90a7a63bcee2..cf7caadcafb9685793383e9c6b94a1f5d0318dd1:/src/xbt/config.c

diff --git a/src/xbt/config.c b/src/xbt/config.c
index 835fd0eff9..cf6c778f49 100644
--- 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);
     }