From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 31 Mar 2021 18:50:34 +0000 (-0700)
Subject: Fix years in COPYING. (#6248)
X-Git-Tag: cvc5-1.0.0~2002
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=529fdabb892be7e28b3fb0c51e604332de04790c;p=cvc5.git

Fix years in COPYING. (#6248)
---

diff --git a/COPYING b/COPYING
index b181eb668..122fbd6a2 100644
--- a/COPYING
+++ b/COPYING
@@ -1,6 +1,5 @@
-CVC4 is copyright (C) 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017 by
-its authors and contributors (see the file AUTHORS) and their institutional
-affiliations.  All rights reserved.
+CVC4 is copyright (C) 2009-2021 by its authors and contributors (see the file
+AUTHORS) and their institutional affiliations.  All rights reserved.
 
 The source code of CVC4 is open and available to students, researchers,
 software companies, and everyone else to study, to modify, and to redistribute