diff options
author | Andrew V. Jones <andrewvaughanj@gmail.com> | 2021-08-16 04:24:25 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-15 20:24:25 -0700 |
commit | bb0b36445b37c5b7fd22f4b12e590ade4646589e (patch) | |
tree | fcf9c0f8e00b80dbc0e653fffdbc68d852cf488c /src/base | |
parent | 06f4747e4f6c97be9b6fca4edd1ffff66e386c06 (diff) |
Correct copyright print for GLPK (#7015)
In `master`, starting `cvc5` interactively will give you:
```
glpk-cut-log - a modified version of GPLK, the GNU Linear Programming Kit
See http://github.com/timothy-king/glpk-cut-log for copyrightinformation
```
Notice: there's a double-space after the dash following the library name, and there's no space between "copyrightinformation".
This commit corrects this print such that it gives:
```
glpk-cut-log - a modified version of GPLK, the GNU Linear Programming Kit
See http://github.com/timothy-king/glpk-cut-log for copyright information
```
Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com>
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 c6b004574..a370a0c47 100644 --- a/src/base/configuration.cpp +++ b/src/base/configuration.cpp @@ -195,10 +195,10 @@ std::string Configuration::copyright() { << " See http://www.ginac.de/CLN for copyright information.\n\n"; } if (Configuration::isBuiltWithGlpk()) { - ss << " glpk-cut-log - a modified version of GPLK, " + ss << " glpk-cut-log - a modified version of GPLK, " << "the GNU Linear Programming Kit\n" << " See http://github.com/timothy-king/glpk-cut-log for copyright" - << "information\n\n"; + << " information\n\n"; } } |