From cf7caadcafb9685793383e9c6b94a1f5d0318dd1 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Thu, 12 Sep 2013 13:52:29 +0200
Subject: [PATCH] Cannot free this string here.

---
 src/xbt/config.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
     }
-- 
2.20.1