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

diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp
index a6bf73271b3e7441f45d8d04993ac6bdfe89576d..68a6ebdb737c2401260417f056aea90c0af5d33f 100644 (file)
--- 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()) {