From db8e3767437fddf54586b76fad69390834f45be5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Basile=20Cl=C3=A9ment?= Date: Wed, 12 Jun 2024 14:44:40 +0200 Subject: [PATCH] chore: Update headers Some code initially written before #1127 was not updated for #1127. --- LICENSE.md | 3 --- src/lib/reasoners/intervals.ml | 3 --- src/lib/reasoners/intervals.mli | 3 --- src/lib/reasoners/intervals_core.ml | 3 --- src/lib/reasoners/intervals_core.mli | 3 --- src/lib/reasoners/intervals_intf.ml | 3 --- src/lib/structures/uid.ml | 3 --- src/lib/structures/uid.mli | 3 --- 8 files changed, 24 deletions(-) diff --git a/LICENSE.md b/LICENSE.md index 39ccb7d69f..4aa4bde634 100644 --- a/LICENSE.md +++ b/LICENSE.md @@ -22,9 +22,6 @@ under the terms of [Apache Software License version 2.0](licenses/Apache-License Note that plugins or preludes may have different licenses. Please referer to their directory. -Until 2013, some parts of this code were released under the terms of the -[Apache Software License version 2.0](licenses/Apache-License-2.0.txt). - In case of doubt, please refer to the header of each file to know under which license it is distributed. diff --git a/src/lib/reasoners/intervals.ml b/src/lib/reasoners/intervals.ml index 66d170703b..f83ee3ce5c 100644 --- a/src/lib/reasoners/intervals.ml +++ b/src/lib/reasoners/intervals.ml @@ -19,9 +19,6 @@ (* *) (* CNRS - INRIA - Universite Paris Sud *) (* *) -(* Until 2013, some parts of this code were released under *) -(* the Apache Software License version 2.0. *) -(* *) (* --------------------------------------------------------------- *) (* *) (* More details can be found in the directory licenses/ *) diff --git a/src/lib/reasoners/intervals.mli b/src/lib/reasoners/intervals.mli index ab0004e583..39fb279606 100644 --- a/src/lib/reasoners/intervals.mli +++ b/src/lib/reasoners/intervals.mli @@ -19,9 +19,6 @@ (* *) (* CNRS - INRIA - Universite Paris Sud *) (* *) -(* Until 2013, some parts of this code were released under *) -(* the Apache Software License version 2.0. *) -(* *) (* --------------------------------------------------------------- *) (* *) (* More details can be found in the directory licenses/ *) diff --git a/src/lib/reasoners/intervals_core.ml b/src/lib/reasoners/intervals_core.ml index 9e219372bf..49c4197ef2 100644 --- a/src/lib/reasoners/intervals_core.ml +++ b/src/lib/reasoners/intervals_core.ml @@ -19,9 +19,6 @@ (* *) (* CNRS - INRIA - Universite Paris Sud *) (* *) -(* Until 2013, some parts of this code were released under *) -(* the Apache Software License version 2.0. *) -(* *) (* --------------------------------------------------------------- *) (* *) (* More details can be found in the directory licenses/ *) diff --git a/src/lib/reasoners/intervals_core.mli b/src/lib/reasoners/intervals_core.mli index 82542664b2..e38cc23c4d 100644 --- a/src/lib/reasoners/intervals_core.mli +++ b/src/lib/reasoners/intervals_core.mli @@ -19,9 +19,6 @@ (* *) (* CNRS - INRIA - Universite Paris Sud *) (* *) -(* Until 2013, some parts of this code were released under *) -(* the Apache Software License version 2.0. *) -(* *) (* --------------------------------------------------------------- *) (* *) (* More details can be found in the directory licenses/ *) diff --git a/src/lib/reasoners/intervals_intf.ml b/src/lib/reasoners/intervals_intf.ml index 94b7ba777c..3cfe985a50 100644 --- a/src/lib/reasoners/intervals_intf.ml +++ b/src/lib/reasoners/intervals_intf.ml @@ -19,9 +19,6 @@ (* *) (* CNRS - INRIA - Universite Paris Sud *) (* *) -(* Until 2013, some parts of this code were released under *) -(* the Apache Software License version 2.0. *) -(* *) (* --------------------------------------------------------------- *) (* *) (* More details can be found in the directory licenses/ *) diff --git a/src/lib/structures/uid.ml b/src/lib/structures/uid.ml index 5851823e60..a7c4743713 100644 --- a/src/lib/structures/uid.ml +++ b/src/lib/structures/uid.ml @@ -19,9 +19,6 @@ (* *) (* CNRS - INRIA - Universite Paris Sud *) (* *) -(* Until 2013, some parts of this code were released under *) -(* the Apache Software License version 2.0. *) -(* *) (* --------------------------------------------------------------- *) (* *) (* More details can be found in the directory licenses/ *) diff --git a/src/lib/structures/uid.mli b/src/lib/structures/uid.mli index de7909ca69..09e0a76759 100644 --- a/src/lib/structures/uid.mli +++ b/src/lib/structures/uid.mli @@ -19,9 +19,6 @@ (* *) (* CNRS - INRIA - Universite Paris Sud *) (* *) -(* Until 2013, some parts of this code were released under *) -(* the Apache Software License version 2.0. *) -(* *) (* --------------------------------------------------------------- *) (* *) (* More details can be found in the directory licenses/ *)