From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 22 Jun 2018 20:07:43 +0000 (-0700)
Subject: Update copyright year in configuration.cpp:copyright().
X-Git-Tag: cvc5-1.0.0~4954
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ba717fb4d390fbbc8bbb0dfb4e00c4a746e426ca;p=cvc5.git

Update copyright year in configuration.cpp:copyright().
---

diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp
index a6bf73271..68a6ebdb7 100644
--- a/src/base/configuration.cpp
+++ b/src/base/configuration.cpp
@@ -112,7 +112,7 @@ std::string Configuration::getVersionExtra() {
 
 std::string Configuration::copyright() {
   std::stringstream ss;
-  ss << "Copyright (c) 2009-2017 by the authors and their institutional\n"
+  ss << "Copyright (c) 2009-2018 by the authors and their institutional\n"
      << "affiliations listed at http://cvc4.cs.stanford.edu/authors\n\n";
 
   if (Configuration::licenseIsGpl()) {