diff options
Diffstat (limited to 'camlp4/Camlp4/Struct/Grammar/Insert.ml')
| -rw-r--r-- | camlp4/Camlp4/Struct/Grammar/Insert.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/camlp4/Camlp4/Struct/Grammar/Insert.ml b/camlp4/Camlp4/Struct/Grammar/Insert.ml index a6cbf0eee..551ce95ec 100644 --- a/camlp4/Camlp4/Struct/Grammar/Insert.ml +++ b/camlp4/Camlp4/Struct/Grammar/Insert.ml @@ -1,15 +1,15 @@ (* -*- camlp4r -*- *) (****************************************************************************) (* *) -(* Objective Caml *) +(* OCaml *) (* *) (* INRIA Rocquencourt *) (* *) (* Copyright 2006 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed under *) (* the terms of the GNU Library General Public License, with the special *) -(* exception on linking described in LICENSE at the top of the Objective *) -(* Caml source tree. *) +(* exception on linking described in LICENSE at the top of the OCaml *) +(* source tree. *) (* *) (****************************************************************************) |