From a90b0648f859ecb20220bdf53dac52612e6abe9c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 3 Nov 2004 12:35:37 +0000
Subject: [PATCH] * src/tgbaalgos/replayrun.cc (replay_tgba_run): Add missing
 std::endl.

---
 ChangeLog                  | 2 ++
 src/tgbaalgos/replayrun.cc | 1 +
 2 files changed, 3 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index fca954c03..53b2b1791 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 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.
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;