1 files changed, 1 insertions, 1 deletions

diff --git a/CREDITS b/CREDITS
index 29871ed28..3d0dc1502 100644
--- a/CREDITS
+++ b/CREDITS
@@ -84,7 +84,7 @@ of the Coq Proof assistant during the indicated time :
 	Olivier Desmettre (INRIA, 2001-2003)
 	Gilles Dowek (INRIA, 1991-1994)
 	Amy Felty (INRIA, 1993)
-	Jean-Christophe Filliâtre (ENS Lyon, 1994-1997, Paris Sud, 1997-2003)
+	Jean-Christophe Filliâtre (ENS Lyon, 1994-1997, Paris Sud, 1997-2004)
 	Eduardo Giménez (ENS Lyon, 1993-1996, INRIA, 1997-1998)
 	Hugo Herbelin (INRIA, 1996-now)
 	Gérard Huet (INRIA, 1985-1997)