From e766bb4b0d6c7395960098af7527b2edd7b406ac Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 4 Jun 2003 14:04:25 +0000
Subject: [PATCH] .

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

diff --git a/ChangeLog b/ChangeLog
index 86f1b5860..159a12ca9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -4,7 +4,7 @@
 	* src/ltlparse/parsedecl.hh (YY_DECL): Rename yylex to ltlyylex.
 	* src/ltlparse/ltlparse.yy: Define yylex as ltlyylex.
 
-2003-06-03  Alexandre Duret-Lutz  <adl@gnu.org>
+2003-06-03  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
 	* src/tgba/dictunion.cc, src/tgba/ltl2tgba.cc,
 	src/tgba/succiterconcrete.cc, src/tgba/tgbabddconcrete.cc,