diff options
-rw-r--r-- | src/pretty_printing.h | 6 |
1 files changed, 2 insertions, 4 deletions
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); |