From 5f94836f4d1adca31c502706831b9ac600c3f41f Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Mon, 12 Feb 2018 15:22:56 +0100
Subject: Update licence, add opam script

---
 src/dataType.mli | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'src/dataType.mli')

diff --git a/src/dataType.mli b/src/dataType.mli
index 5c89c98..4b87c32 100755
--- a/src/dataType.mli
+++ b/src/dataType.mli
@@ -1,3 +1,20 @@
+(*
+This file is part of licht.
+
+licht is free software: you can redistribute it and/or modify
+it under the terms of the GNU General Public License as published by
+the Free Software Foundation, either version 3 of the License, or
+(at your option) any later version.
+
+licht is distributed in the hope that it will be useful,
+but WITHOUT ANY WARRANTY; without even the implied warranty of
+MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+GNU General Public License for more details.
+
+You should have received a copy of the GNU General Public License
+along with licht.  If not, see <http://www.gnu.org/licenses/>.
+*)
+
 module type COMPARABLE = sig
   type t
   val eq: t -> t -> bool
-- 
cgit v1.2.3