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

diff --git a/src/simix/smx_context.c b/src/simix/smx_context.c
index 8821246..56abb11 100644 (file)
--- 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);
   }
     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");

 }
 }