From 5401ce8473062b19dd3553d022593cc5d91ccbff Mon Sep 17 00:00:00 2001 From: Damien Doligez Date: Thu, 18 Feb 2016 16:11:59 +0100 Subject: Update headers for the new license. Remains to be done: remove all headers in testsuite/tests. --- driver/compile.mli | 25 ++++++++++++++----------- 1 file changed, 14 insertions(+), 11 deletions(-) (limited to 'driver/compile.mli') diff --git a/driver/compile.mli b/driver/compile.mli index 00f9029a59..2ae4f7a4a6 100644 --- a/driver/compile.mli +++ b/driver/compile.mli @@ -1,14 +1,17 @@ -(***********************************************************************) -(* *) -(* OCaml *) -(* *) -(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) -(* *) -(* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the Q Public License version 1.0. *) -(* *) -(***********************************************************************) +(**************************************************************************) +(* *) +(* OCaml *) +(* *) +(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) +(* *) +(* Copyright 1996 Institut National de Recherche en Informatique et *) +(* en Automatique. *) +(* *) +(* 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. *) +(* *) +(**************************************************************************) (* Compile a .ml or .mli file *) -- cgit v1.2.1