summaryrefslogtreecommitdiff
path: root/middle_end/lift_code.mli
diff options
context:
space:
mode:
authorMark Shinwell <mshinwell@janestreet.com>2016-01-05 08:46:03 +0000
committerMark Shinwell <mshinwell@janestreet.com>2016-01-05 08:46:03 +0000
commit71bed7af0dcc3305d2e0a1e2cc6a41c1397bc1a3 (patch)
treecd092947b6143df6aec3303729222a3cc6644a8d /middle_end/lift_code.mli
parentb085ec553cffee63b336d4a8fa72172a981fbfbb (diff)
downloadocaml-71bed7af0dcc3305d2e0a1e2cc6a41c1397bc1a3.tar.gz
Correct name of licence
Diffstat (limited to 'middle_end/lift_code.mli')
-rw-r--r--middle_end/lift_code.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/middle_end/lift_code.mli b/middle_end/lift_code.mli
index 7d146252db..fdf2331de4 100644
--- a/middle_end/lift_code.mli
+++ b/middle_end/lift_code.mli
@@ -9,7 +9,7 @@
(* Copyright 2014--2016 Jane Street Group LLC *)
(* *)
(* All rights reserved. This file is distributed under the terms of *)
-(* the GNU Library General Public License version 2.1, with the *)
+(* the GNU Lesser General Public License version 2.1, with the *)
(* special exception on linking described in the file ../LICENSE. *)
(* *)
(**************************************************************************)