diff --git a/ChangeLog b/ChangeLog index fca954c03..53b2b1791 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2004-11-03 Alexandre Duret-Lutz + * src/tgbaalgos/replayrun.cc (replay_tgba_run): Add missing std::endl. + * tgbaalgos/reachiter.hh, tgbaalgos/reachiter.cc (tgba_reachable_iterator::process_link): Take the state* as arguments in addition to the state numbers. diff --git a/src/tgbaalgos/replayrun.cc b/src/tgbaalgos/replayrun.cc index ff8235caa..c7666f7db 100644 --- a/src/tgbaalgos/replayrun.cc +++ b/src/tgbaalgos/replayrun.cc @@ -195,6 +195,7 @@ namespace spot { os << "ERROR: The cycle's acceptance conditions (" << bdd_format_accset(a->get_dict(), all_acc) << ") do not" + << std::endl << "match those of the automata (" << bdd_format_accset(a->get_dict(), expected_all_acc) << std::endl;