fix copyright year in configuration file (#2942)

diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp
index b8c2ff58cd032cf08a3caf1b6fd504ba906c5c55..a7fa7939582af1190c7e409cdce33eabac2c6598 100644 (file)
--- a/src/base/configuration.cpp
+++ b/src/base/configuration.cpp
@@ -114,7 +114,7 @@ std::string Configuration::getVersionExtra() {
 
 std::string Configuration::copyright() {
   std::stringstream ss;
-  ss << "Copyright (c) 2009-2018 by the authors and their institutional\n"
+  ss << "Copyright (c) 2009-2019 by the authors and their institutional\n"
      << "affiliations listed at http://cvc4.cs.stanford.edu/authors\n\n";
 
   if (Configuration::licenseIsGpl()) {
@@ -130,7 +130,7 @@ std::string Configuration::copyright() {
 
   ss << "THIS SOFTWARE IS PROVIDED AS-IS, WITHOUT ANY WARRANTIES.\n"
      << "USE AT YOUR OWN RISK.\n\n";
- 
+
   ss << "CVC4 incorporates code from ANTLR3 (http://www.antlr.org).\n"
      << "See licenses/antlr3-LICENSE for copyright and licensing information."
      << "\n\n";