Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / src / mc / mc_pair.c

diff --git a/src/mc/mc_pair.c b/src/mc/mc_pair.c
index 6f6506e..f14e6c4 100644 (file)
--- a/src/mc/mc_pair.c
+++ b/src/mc/mc_pair.c
@@ -11,6 +11,7 @@ mc_pair_t MC_pair_new(){
   p->nb_processes = xbt_swag_size(simix_global->process_list);
   p->num = ++mc_stats->expanded_pairs;
   p->search_cycle = 0;
+  p->other_num = -1;
   return p;
 }
 
@@ -24,3 +25,7 @@ void MC_pair_delete(mc_pair_t p){
   xbt_free(p);
   p = NULL;
 }
+
+void mc_pair_free_voidp(void *p){
+  MC_pair_delete((mc_pair_t) * (void **)p);
+}