X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/18c01aaca168b9fa984e2facc3a5d6e9303368b7..ff3607bbc694290df2b8b5b722b9a02e8834f37c:/src/mc/mc_pair.c diff --git a/src/mc/mc_pair.c b/src/mc/mc_pair.c index 9e8ff3ed88..bd686f940d 100644 --- a/src/mc/mc_pair.c +++ b/src/mc/mc_pair.c @@ -12,6 +12,7 @@ mc_pair_t MC_pair_new(mc_state_t gs, xbt_automaton_state_t as, int r){ p->graph_state = gs; p->system_state = NULL; p->requests = r; + p->num = ++mc_stats->expanded_pairs; return p; }