diff options
Diffstat (limited to 'parsing/parser.mly')
| -rw-r--r-- | parsing/parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/parser.mly b/parsing/parser.mly index 9bba8768c..30a96d672 100644 --- a/parsing/parser.mly +++ b/parsing/parser.mly @@ -1,6 +1,6 @@ /***********************************************************************/ /* */ -/* Objective Caml */ +/* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ |