From 69ff7d41924dcbf7960ee2645f9777018d73dcfe Mon Sep 17 00:00:00 2001 From: cristianrosa Date: Wed, 12 May 2010 17:44:20 +0000 Subject: [PATCH] Bugfix: delete the set of created transitions, otherwise we leak a lot of memory git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7743 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- src/mc/mc_global.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 959fc73414..c80540a192 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -209,7 +209,8 @@ void MC_state_delete(mc_state_t state) xbt_setset_foreach(state->created_transitions, cursor, trans){ MC_transition_delete(trans); } - + + xbt_setset_destroy_set(state->created_transitions); xbt_setset_destroy_set(state->transitions); xbt_setset_destroy_set(state->enabled_transitions); xbt_setset_destroy_set(state->interleave); -- 2.20.1