diff options
Diffstat (limited to 'src/base/configuration.cpp')
| -rw-r--r-- | src/base/configuration.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/configuration.cpp b/src/base/configuration.cpp index fb4d94f9d..f907f212f 100644 --- a/src/base/configuration.cpp +++ b/src/base/configuration.cpp @@ -126,7 +126,7 @@ std::string Configuration::copyright() { << "the GNU General Public License (GPL) version 3. Versions of CVC4\n" << "are available that are covered by the (modified) BSD license. If\n" << "you want to license CVC4 under this license, please configure CVC4\n" - << "with the \"--bsd\" option before building from sources.\n\n"; + << "with the \"--no-gpl\" option before building from sources.\n\n"; } else { ss << "CVC4 is open-source and is covered by the BSD license (modified)." << "\n\n"; |