diff options
author | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@Inria.fr> | 2019-09-26 22:34:12 +0200 |
---|---|---|
committer | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@Inria.fr> | 2019-10-16 14:22:49 +0200 |
commit | 1220986b72c615052f4ac0cfc118a01f51e9b028 (patch) | |
tree | b193482e820c27df5109d0cba6ecf2dbb1bcd872 /stdlib/gc.ml | |
parent | 81420443a3f797d13a73a0a940760ce8dd2a4869 (diff) | |
download | ocaml-1220986b72c615052f4ac0cfc118a01f51e9b028.tar.gz |
[minor] typo
Diffstat (limited to 'stdlib/gc.ml')
-rw-r--r-- | stdlib/gc.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/gc.ml b/stdlib/gc.ml index dfa6443baf..47a23f60c8 100644 --- a/stdlib/gc.ml +++ b/stdlib/gc.ml @@ -2,8 +2,8 @@ (* *) (* OCaml *) (* *) -(* Damien Doligez, projet Para, INRIA Rocquencourt *) -(* Jacques-Henri Joudan, projet Gallium, INRIA Paris *) +(* Damien Doligez, projet Para, INRIA Rocquencourt *) +(* Jacques-Henri Jourdan, projet Gallium, INRIA Paris *) (* *) (* Copyright 1996-2016 Institut National de Recherche en Informatique *) (* et en Automatique. *) |