diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-03-31 11:50:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-31 15:50:34 -0300 |
| commit | 529fdabb892be7e28b3fb0c51e604332de04790c (patch) | |
| tree | fdde9c75a243aa7fef51475f7121b813120e8f13 | |
| parent | 613ecb885e64a2cb37ba82f1783f85afe8afe66c (diff) | |
Fix years in COPYING. (#6248)
| -rw-r--r-- | COPYING | 5 |
1 files changed, 2 insertions, 3 deletions
@@ -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 |