From: cristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Wed, 12 May 2010 17:44:20 +0000 (+0000)
Subject: Bugfix: delete the set of created transitions, otherwise we leak a lot of memory
X-Git-Tag: SVN~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/69ff7d41924dcbf7960ee2645f9777018d73dcfe?ds=sidebyside

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
---

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);