From 5cc9c66dc0c9eb137fe4abbb45a30a3b51ef6e4c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 9 Jul 2003 14:06:03 +0000
Subject: [PATCH] * src/tgba/succiterconcrete.cc
 (tgba_succ_iterator_concrete::next): Fix computation of states sharing the
 same accepting set.

---
 ChangeLog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index c70af461d..1d63f95db 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,7 +1,7 @@
 2003-07-09  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* src/tgba/succiterconcrete.cc (tgba_succ_iterator_concrete::next): 
-	Fix computation of states sharing the same accepting state.
+	Fix computation of states sharing the same accepting set.
 
 	Make sure we only output one initial state in LBTT's output.
 	* src/tgbaalgos/lbtt.cc (fill_todo): Add the 'first' argument