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;
 	  }