diff --git a/bytecomp/switch.ml b/bytecomp/switch.ml index 707ff4f33..e4851a4de 100644 --- a/bytecomp/switch.ml +++ b/bytecomp/switch.ml @@ -2,7 +2,7 @@ (* *) (* Objective Caml *) (* *) -(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* Luc Maranget, projet Moscova, INRIA Rocquencourt *) (* *) (* Copyright 2000 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) diff --git a/bytecomp/switch.mli b/bytecomp/switch.mli index f39138563..67d85298c 100644 --- a/bytecomp/switch.mli +++ b/bytecomp/switch.mli @@ -2,7 +2,7 @@ (* *) (* Objective Caml *) (* *) -(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* Luc Maranget, projet Moscova, INRIA Rocquencourt *) (* *) (* Copyright 2000 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *)