From 2f19a35e976f0fb97a229c2dc319ed907856f7b8 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 3 Jun 2003 16:54:14 +0000
Subject: [PATCH] missing changelog entry

---
 ChangeLog | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 5495b22d2..ae1ba9a6a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2003-06-02  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
+
+	* src/tgba/tgbabdddict.cc, src/tgba/tgbabdddict.hh: New files.
+	* src/tgba/Makefile.am (libtgba_la_SOURCES): Add them.
+	* src/tgba/tgbabdddict.cc (tgba_bdd_dict::contains): New function.
+	* src/tgba/tgbabdddict.hh (tgba_bdd_dict::contains): Likewise.
+
 2003-05-28  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* src/tgba/statebdd.hh (state_bdd::as_bdd): Add non-const variant.
@@ -85,7 +92,7 @@
 	not a bdd.
 	* src/tgba/tgbabddconcrete.cc: Likewise.
 
-	Initial code for TGBA (Transition Generalized Büchi Automata).
+	Initial code for TGBA (Transition Generalized BŽüchi Automata).
 	Contains tgba_bdd, a BDD-encoded TGBA, and ltl_to_tgba,
 	a LTL-to-TGBA translator using Couvreur's algorithm.