From d6f865ac13492ade1ec3c9b93640f867b0f5677f Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 15 Nov 2004 13:27:55 +0000
Subject: [PATCH] * src/tgbaalgos/replayrun.cc (replay_tgba_run): Write to the
 supplied stream, not std::cout.

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

diff --git a/ChangeLog b/ChangeLog
index 3c2a63d24..99fd3e94e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-11-15  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/replayrun.cc (replay_tgba_run): Write to the
+	supplied stream, not std::cout.
+
 2004-11-15  Poitrenaud Denis  <denis@src.lip6.fr>
 
 	* src/tgbaalgos/magic.cc: Add a bit state hashing version.
diff --git a/src/tgbaalgos/replayrun.cc b/src/tgbaalgos/replayrun.cc
index 975af5c8b..36aeaad24 100644
--- a/src/tgbaalgos/replayrun.cc
+++ b/src/tgbaalgos/replayrun.cc
@@ -131,7 +131,7 @@ namespace spot
 		in = "cycle";
 		i = l->begin();
 		if (!debug)
-		  std::cout << "Cycle:" << std::endl;
+		  os << "Cycle:" << std::endl;
 	      }
 	    next = l->begin()->s;
 	  }