From c8b95adb9723c128f76507d79456779fec92c708 Mon Sep 17 00:00:00 2001 From: Paulo Matos Date: Mon, 17 May 2021 19:08:49 +0200 Subject: Remove unused argument major (#3889) Affects `printMajor` and `printMedium`. There is no usage of this optional argument in the source code. --- src/pretty_printing.h | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'src') diff --git a/src/pretty_printing.h b/src/pretty_printing.h index 5e41a4d2d..f1dd9db04 100644 --- a/src/pretty_printing.h +++ b/src/pretty_printing.h @@ -62,16 +62,14 @@ inline std::ostream& printText(std::ostream& o, const char* str) { return o << '"'; } -inline std::ostream& -printMajor(std::ostream& o, const char* str, bool major = false) { +inline std::ostream& printMajor(std::ostream& o, const char* str) { prepareMajorColor(o); o << str; restoreNormalColor(o); return o; } -inline std::ostream& -printMedium(std::ostream& o, const char* str, bool major = false) { +inline std::ostream& printMedium(std::ostream& o, const char* str) { prepareColor(o); o << str; restoreNormalColor(o); -- cgit v1.2.3