From: Haniel Barbosa <hanielbbarbosa@gmail.com>
Date: Mon, 8 Apr 2019 16:26:58 +0000 (-0500)
Subject: fix copyright year in configuration file (#2942)
X-Git-Tag: cvc5-1.0.0~4187
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=30b9f4ae91c9dba12ac0d9253d71bbd21a073e04;p=cvc5.git

fix copyright year in configuration file (#2942)
---

diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp
index b8c2ff58c..a7fa79395 100644
--- 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";