From 6d5e6b62c05a462bea3606f44f66e766efe1a9ec Mon Sep 17 00:00:00 2001 From: cristianrosa Date: Thu, 27 May 2010 15:25:57 +0000 Subject: [PATCH 1/1] Remove the transitions from the model-checker's setset before deleting it. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7805 48e7efb5-ca39-0410-a469-dd3cf9ba447f --- src/mc/mc_global.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c index 4618a701d2..e924d16857 100644 --- a/src/mc/mc_global.c +++ b/src/mc/mc_global.c @@ -232,6 +232,7 @@ void MC_state_delete(mc_state_t state) mc_transition_t trans; xbt_setset_foreach(state->created_transitions, cursor, trans){ + xbt_setset_elm_remove(mc_setset, trans); MC_transition_delete(trans); } -- 2.20.1