Fix years in COPYING. (#6248)

diff --git a/COPYING b/COPYING
index b181eb6687114704548767ae9128d90c47fa8d9d..122fbd6a2c33539b318051429c3ce273753d3ebf 100644 (file)
--- 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