aboutsummaryrefslogtreecommitdiffstats
path: root/src/lia
diff options
context:
space:
mode:
Diffstat (limited to 'src/lia')
-rw-r--r--src/lia/Lia.v2
-rw-r--r--src/lia/lia.ml2
-rw-r--r--src/lia/lia.mli2
3 files changed, 3 insertions, 3 deletions
diff --git a/src/lia/Lia.v b/src/lia/Lia.v
index f6e6520..0246799 100644
--- a/src/lia/Lia.v
+++ b/src/lia/Lia.v
@@ -1,7 +1,7 @@
(**************************************************************************)
(* *)
(* SMTCoq *)
-(* Copyright (C) 2011 - 2021 *)
+(* Copyright (C) 2011 - 2022 *)
(* *)
(* See file "AUTHORS" for the list of authors *)
(* *)
diff --git a/src/lia/lia.ml b/src/lia/lia.ml
index e00092e..ef871f9 100644
--- a/src/lia/lia.ml
+++ b/src/lia/lia.ml
@@ -1,7 +1,7 @@
(**************************************************************************)
(* *)
(* SMTCoq *)
-(* Copyright (C) 2011 - 2021 *)
+(* Copyright (C) 2011 - 2022 *)
(* *)
(* See file "AUTHORS" for the list of authors *)
(* *)
diff --git a/src/lia/lia.mli b/src/lia/lia.mli
index f996ac0..3448f1b 100644
--- a/src/lia/lia.mli
+++ b/src/lia/lia.mli
@@ -1,7 +1,7 @@
(**************************************************************************)
(* *)
(* SMTCoq *)
-(* Copyright (C) 2011 - 2021 *)
+(* Copyright (C) 2011 - 2022 *)
(* *)
(* See file "AUTHORS" for the list of authors *)
(* *)