diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2019-04-08 11:26:58 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-08 11:26:58 -0500 |
| commit | 30b9f4ae91c9dba12ac0d9253d71bbd21a073e04 (patch) | |
| tree | fbbfb0f64e8ab959c3d0b93142729b6fbd153c8e /src/base | |
| parent | 4be22912d85ef4291439638d4dc3e9020eafb5d0 (diff) | |
fix copyright year in configuration file (#2942)
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/configuration.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
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"; |