From 9645ecfc71827d3cc8a6d88a5835e67c2fc3899d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= <francois.pottier@inria.fr> Date: Sat, 6 Jun 2020 21:13:50 +0200 Subject: [PATCH] Header. --- src/Print.ml | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/src/Print.ml b/src/Print.ml index 48db0a0..94471e2 100644 --- a/src/Print.ml +++ b/src/Print.ml @@ -1,3 +1,16 @@ +(******************************************************************************) +(* *) +(* Monolith *) +(* *) +(* François Pottier *) +(* *) +(* Copyright Inria. All rights reserved. This file is distributed under the *) +(* terms of the GNU Lesser General Public License as published by the Free *) +(* Software Foundation, either version 3 of the License, or (at your *) +(* option) any later version, as described in the file LICENSE. *) +(* *) +(******************************************************************************) + include PPrint type 'a printer = -- GitLab