From 529fdabb892be7e28b3fb0c51e604332de04790c Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Wed, 31 Mar 2021 11:50:34 -0700 Subject: [PATCH] Fix years in COPYING. (#6248) --- COPYING | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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 -- 2.30.2