From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Tue, 18 Feb 2014 13:19:01 +0000 (+0100)
Subject: fix debug log
X-Git-Tag: v3_11~199^2~2^2~33
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3299a47e6bfb29938ceddb8e429d6d2105aabb04?ds=sidebyside

fix debug log
---

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index ea59370ee2..2ff658db94 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -264,7 +264,7 @@ static int is_visited_pair(mc_visited_pair_t pair, int pair_num, xbt_automaton_s
                 if(dot_output == NULL)
                   XBT_DEBUG("Pair %d already visited ! (equal to pair %d)", new_pair->num, pair_test->num);
                 else
-                  XBT_DEBUG("Pair %d already visited ! (equal to pair %d (pair %d in dot_output))", new_pair->num, pair_test->num, pair->other_num);
+                  XBT_DEBUG("Pair %d already visited ! (equal to pair %d (pair %d in dot_output))", new_pair->num, pair_test->num, new_pair->other_num);
                 xbt_dynar_remove_at(visited_pairs, cursor, NULL);
                 xbt_dynar_insert_at(visited_pairs, cursor, &new_pair);
                 pair_test->visited_removed = 1;