From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 26 Mar 2019 18:11:56 +0000 (-0700)
Subject: update-copyright: Update to 2019.
X-Git-Tag: cvc5-1.0.0~4209
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3090423f2cb47666a85db7b2f2df982239e7874d;p=cvc5.git

update-copyright: Update to 2019.
---

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index 3412905af..148392aab 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-2018  The CVC4 Project
+# Copyright (c) 2009-2019  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-2018';
+my $years = '2009-2019';
 
 my $standard_template = <<EOF;
  ** This file is part of the CVC4 project.