summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
aea9fab)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7743
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
xbt_setset_foreach(state->created_transitions, cursor, trans){
MC_transition_delete(trans);
}
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);
xbt_setset_destroy_set(state->transitions);
xbt_setset_destroy_set(state->enabled_transitions);
xbt_setset_destroy_set(state->interleave);