From 3299a47e6bfb29938ceddb8e429d6d2105aabb04 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Tue, 18 Feb 2014 14:19:01 +0100 Subject: [PATCH 1/1] fix debug log --- src/mc/mc_liveness.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 2.20.1