From bb0b36445b37c5b7fd22f4b12e590ade4646589e Mon Sep 17 00:00:00 2001 From: "Andrew V. Jones" Date: Mon, 16 Aug 2021 04:24:25 +0100 Subject: [PATCH] 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 --- src/base/configuration.cpp | 4 ++-- 1 file 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"; } } -- 2.30.2