From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 7 Jul 2017 23:38:42 +0000 (-0700)
Subject: Update copyright year and refer to authors URL.
X-Git-Tag: cvc5-1.0.0~5736
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=55d4f2a0bb62fb12bc5b2590a5d157157a2715b6;p=cvc5.git

Update copyright year and refer to authors URL.
---

diff --git a/src/base/configuration_private.h b/src/base/configuration_private.h
index bcdce9d60..f989e40e5 100644
--- a/src/base/configuration_private.h
+++ b/src/base/configuration_private.h
@@ -149,8 +149,9 @@ This is CVC4 version " CVC4_RELEASE_STRING ) + \
     )) + "\n\
 compiled with " + ::CVC4::Configuration::getCompiler() + "\n\
 on " + ::CVC4::Configuration::getCompiledDateTime() + "\n\n\
-Copyright (C) 2009, 2010, 2011, 2012, 2013, 2014\n\
-  New York University and The University of Iowa\n\n" + \
+Copyright (c) 2009-2017\n\
+by the authors and their institutional affiliations listed at \n\
+http:\/\/cvc4.cs.stanford.edu/authors\n\n" + \
     ( IS_GPL_BUILD ? "\
 This build of CVC4 uses GPLed libraries, and is thus covered by the GNU\n\
 General Public License (GPL) version 3.  Versions of CVC4 are available\n\