From 3090423f2cb47666a85db7b2f2df982239e7874d Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Tue, 26 Mar 2019 11:11:56 -0700
Subject: [PATCH] update-copyright: Update to 2019.

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

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.
-- 
2.30.2