From: Andrew V. Jones <andrewvaughanj@gmail.com>
Date: Mon, 16 Aug 2021 03:24:25 +0000 (+0100)
Subject: Correct copyright print for GLPK (#7015)
X-Git-Tag: cvc5-1.0.0~1387
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bb0b36445b37c5b7fd22f4b12e590ade4646589e;p=cvc5.git

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>
---

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";
     }
   }