diff --git a/src/bin/common/parse_command.ml b/src/bin/common/parse_command.ml index 7ebd49dd3..45d210154 100644 --- a/src/bin/common/parse_command.ml +++ b/src/bin/common/parse_command.ml @@ -1507,7 +1507,7 @@ let main = \ Hichem Rami Ait El Hara\n\ \ Pierre Villemot"; `Pre "PREVIOUS AUTHORS\n\ - \ Albain Coquereau\n\ + \ Albin Coquereau\n\ \ Mattias Roux"; `Pre "ORIGINAL AUTHORS\n\ \ Sylvain Conchon\n\