diff --git a/LICENSE b/LICENSE index fd1654329..a97a936ca 100644 --- a/LICENSE +++ b/LICENSE @@ -28,8 +28,8 @@ personal use only. Public distribution of derivative works is not permitted, unless the user obtains the express approval of INRIA. INRIA freely grants the right to distribute executable files generated -by the Objective Caml compilers (cslc and cslopt). Binaries of the -Objective Caml run-time system (cslrun) can also be distributed +by the Objective Caml compilers (ocamlc and ocamlopt). Binaries of the +Objective Caml run-time system (ocamlrun) can also be distributed freely, with the sole condition that the distribution includes the following statement: @@ -37,7 +37,7 @@ following statement: which is copyright 1995 INRIA." All other files generated by the Objective Caml system, including -custom toplevel systems generated by cslmktop, are considered as +custom toplevel systems generated by ocamlmktop, are considered as derivative works and cannot be publicly distributed without the express approval of INRIA.