1 files changed, 10 insertions, 5 deletions
diff --git a/src/pretty_printing.h b/src/pretty_printing.h
index f1ba944f4..c5d755dcc 100644
--- a/src/pretty_printing.h
+++ b/src/pretty_printing.h
@@ -62,16 +62,21 @@ inline std::ostream& printText(std::ostream &o, const char *str) {
   return o << '"';
 }
 
-inline std::ostream& printOpening(std::ostream &o, const char *str, bool major=false) {
-  o << '(';
-  major ? prepareMajorColor(o) : prepareColor(o);
+inline std::ostream& printMajor(std::ostream &o, const char *str, bool major=false) {
+  prepareMajorColor(o);
   o << str;
   restoreNormalColor(o);
   return o;
 }
 
-inline std::ostream& printMinorOpening(std::ostream &o, const char *str) {
-  o << '(';
+inline std::ostream& printMedium(std::ostream &o, const char *str, bool major=false) {
+  prepareColor(o);
+  o << str;
+  restoreNormalColor(o);
+  return o;
+}
+
+inline std::ostream& printMinor(std::ostream &o, const char *str) {
   prepareMinorColor(o);
   o << str;
   restoreNormalColor(o);