From e37d0c385d698d46f14fb30e5a44de63c686fadb Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 16 Jun 2020 13:48:05 -0700
Subject: Update copyright headers.

---
 contrib/update-copyright.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'contrib/update-copyright.pl')

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index 148392aab..bbe0ebb12 100755
--- a/contrib/update-copyright.pl
+++ b/contrib/update-copyright.pl
@@ -1,7 +1,7 @@
 #!/usr/bin/perl -w
 #
 # update-copyright.pl
-# Copyright (c) 2009-2019  The CVC4 Project
+# Copyright (c) 2009-2020  The CVC4 Project
 #
 # usage: update-copyright [-m] [files/directories...]
 #        update-copyright [-h | --help]
@@ -47,7 +47,7 @@ $excluded_paths .= ')$';
 
 # Years of copyright for the template.  E.g., the string
 # "1985, 1987, 1992, 1997, 2008" or "2006-2009" or whatever.
-my $years = '2009-2019';
+my $years = '2009-2020';
 
 my $standard_template = <<EOF;
  ** This file is part of the CVC4 project.
-- 
cgit v1.2.3