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

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 4618a70..e924d16 100644 (file)
--- 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);
   }