1 files changed, 0 insertions, 1 deletions
diff --git a/CREDITS b/CREDITS
index 9a6db78a0c..ace4648dc7 100644
--- a/CREDITS
+++ b/CREDITS
@@ -101,7 +101,6 @@ of the Coq Proof assistant during the indicated time:
   David Delahaye (INRIA, 1997-2002)
   Maxime Dénès (INRIA, 2013-now)
   Daniel de Rauglaudre (INRIA, 1996-1998)
-  Maxime Dénès (INRIA, 2013-now)
   Olivier Desmettre (INRIA, 2001-2003)
   Gilles Dowek (INRIA, 1991-1994)
   Amy Felty (INRIA, 1993)