diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2016-02-18 16:11:59 +0100 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2016-02-18 16:59:16 +0100 |
| commit | 5401ce8473062b19dd3553d022593cc5d91ccbff (patch) | |
| tree | a0c140149b7d6a599d71a59132360d12a955feff /middle_end/initialize_symbol_to_let_symbol.ml | |
| parent | 6e794aee7257ea72e785dc743981b4cc36cb14c6 (diff) | |
| download | ocaml-5401ce8473062b19dd3553d022593cc5d91ccbff.tar.gz | |
Update headers for the new license.
Remains to be done: remove all headers in testsuite/tests.
Diffstat (limited to 'middle_end/initialize_symbol_to_let_symbol.ml')
| -rw-r--r-- | middle_end/initialize_symbol_to_let_symbol.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/middle_end/initialize_symbol_to_let_symbol.ml b/middle_end/initialize_symbol_to_let_symbol.ml index 7f32493dd2..634c68ad40 100644 --- a/middle_end/initialize_symbol_to_let_symbol.ml +++ b/middle_end/initialize_symbol_to_let_symbol.ml @@ -1,6 +1,6 @@ (**************************************************************************) (* *) -(* OCaml *) +(* OCaml *) (* *) (* Pierre Chambart, OCamlPro *) (* Mark Shinwell and Leo White, Jane Street Europe *) @@ -10,7 +10,7 @@ (* *) (* All rights reserved. This file is distributed under the terms of *) (* the GNU Lesser General Public License version 2.1, with the *) -(* special exception on linking described in the file ../LICENSE. *) +(* special exception on linking described in the file LICENSE. *) (* *) (**************************************************************************) |