aboutsummaryrefslogtreecommitdiffstats
path: root/src/verit/verit.mli
diff options
context:
space:
mode:
authorChantal Keller <Chantal.Keller@lri.fr>2022-04-14 17:04:25 +0200
committerChantal Keller <Chantal.Keller@lri.fr>2022-04-14 17:04:25 +0200
commitf06426e6171aebfb0e84ebc53fc9677896fa2003 (patch)
treec0a5c7e90ef6d42ebe5a2869b7849fbdda244647 /src/verit/verit.mli
parente61a54d7581b42259d726389250e1cb63682d8d8 (diff)
parent93a3e47a7c4865789f8e84f427cd639a19063e08 (diff)
downloadsmtcoq-f06426e6171aebfb0e84ebc53fc9677896fa2003.tar.gz
smtcoq-f06426e6171aebfb0e84ebc53fc9677896fa2003.zip
Merge remote-tracking branch 'origin/coq-8.11' into timeout_verit
Diffstat (limited to 'src/verit/verit.mli')
-rw-r--r--src/verit/verit.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/verit/verit.mli b/src/verit/verit.mli
index 654de07..d67051f 100644
--- a/src/verit/verit.mli
+++ b/src/verit/verit.mli
@@ -1,7 +1,7 @@
(**************************************************************************)
(* *)
(* SMTCoq *)
-(* Copyright (C) 2011 - 2021 *)
+(* Copyright (C) 2011 - 2022 *)
(* *)
(* See file "AUTHORS" for the list of authors *)
(* *)