diff options
author | Andrew V. Jones <andrew.jones@vector.com> | 2020-02-03 07:16:20 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-02 23:16:20 -0800 |
commit | bdb685d928d1f4bb570acdc6c8427217a6b6cbe3 (patch) | |
tree | c4e1fa03c402e88c860d281daca0358748ff8f6c /src/base | |
parent | 7583e034bbd991877b634d50249bbccfd9e3c763 (diff) |
Renaming '--bsd' to '--no-gpl' (#3609)
Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
Diffstat (limited to 'src/base')
-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"; |