update-copyright: Update to 2019.

diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl
index 3412905af99c785e93cf3dc7d606361318b2d8a0..148392aaba84810a6deb58f702312fbb883b9f58 100755 (executable)
--- 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.