chore: Update headers (#1145)

Some code initially written before #1127 was not updated for #1127.
OCamlPro · Jun 12, 2024 · 77a61c8 · 77a61c8
1 parent 1f2ddc2
commit 77a61c8
Show file tree

Hide file tree

Showing 8 changed files with 0 additions and 24 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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/               *)