From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 27 Jan 2022 22:24:28 +0000 (-0800)
Subject: Update AUTHORS und copyright of docs configuration. (#7994)
X-Git-Tag: cvc5-1.0.0~499
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=435419fe26d8f58fc2f0669414784e0cec885ed9;p=cvc5.git

Update AUTHORS und copyright of docs configuration. (#7994)
---

diff --git a/AUTHORS b/AUTHORS
index 8726b6e2d..203286daf 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -10,7 +10,6 @@ Current:
   Haniel Barbosa, The University of Iowa, Universidade Federal de Minas Gerais
   Clark Barrett, New York University, Google, Stanford University
   Martin Brain, University of Oxford
-  Ahmed Irfan, Stanford University
   Gereon Kremer, Stanford University
   Makai Mann, Stanford University
   Abdalrhman Mohamed, The University of Iowa
@@ -30,6 +29,7 @@ Alumni:
   Christopher Conway, New York University, Google
   Morgan Deters, New York University
   Liana Hadarean, New York University, Mentor Graphics Corporation
+  Ahmed Irfan, Stanford University
   Dejan Jovanovic, New York University, SRI International
   Guy Katz, New York University, Stanford University
   Tim King, New York University, Universite Joseph Fourier, Google
diff --git a/docs/conf.py.in b/docs/conf.py.in
index 28c64d555..e8dc26676 100644
--- a/docs/conf.py.in
+++ b/docs/conf.py.in
@@ -30,7 +30,7 @@ if("${BUILD_BINDINGS_JAVA}" == "ON"):
 # -- Project information -----------------------------------------------------
 
 project = 'cvc5'
-copyright = '2021, the authors of cvc5'
+copyright = '2022, the authors of cvc5'
 author = 'The authors of cvc5'