From 30bf7c71ba179a598d7f0d72a392b32e821b0c69 Mon Sep 17 00:00:00 2001
From: navarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Thu, 6 Jan 2011 14:30:52 +0000
Subject: [PATCH] Need to remove option and not free cause it is also free by
 "xbt_dict_free((xbt_dict_t *) cfg)" in config.c

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9379 48e7efb5-ca39-0410-a469-dd3cf9ba447f
---
 src/simix/smx_context.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/simix/smx_context.c b/src/simix/smx_context.c
index 88212467d6..56abb11a8e 100644
--- a/src/simix/smx_context.c
+++ b/src/simix/smx_context.c
@@ -60,5 +60,5 @@ void SIMIX_context_mod_exit(void)
     finalize_factory = simix_global->context_factory->finalize;
     (*finalize_factory) (&simix_global->context_factory);
   }
-  xbt_free(smx_context_factory_name);
+  xbt_dict_remove((xbt_dict_t) _surf_cfg_set,"simix/context");
 }
-- 
2.20.1