* src/tgbaalgos/replayrun.cc (replay_tgba_run): Add missing std::endl.

ChangeLog

 2004-11-03  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* 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.

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;