model-checker : fix dot output for liveness MC

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

diff --git a/src/mc/mc_pair.c b/src/mc/mc_pair.c
index 6f6506e..f25394a 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;
 }