1 files changed, 8 insertions, 6 deletions
diff --git a/util/statetrace/printer.hh b/util/statetrace/printer.hh
index db3b8c1b8..3e23cf425 100644
--- a/util/statetrace/printer.hh
+++ b/util/statetrace/printer.hh
@@ -79,12 +79,14 @@ class RegPrinter : public PrinterObject
         PrinterObject(newChild), intRegNum(num)
     {;}
 
-    void regNum(int num)
+    void
+    regNum(int num)
     {
         intRegNum = num;
     }
 
-    int regNum()
+    int
+    regNum()
     {
         return intRegNum;
     }
@@ -94,14 +96,14 @@ class RegPrinter : public PrinterObject
     std::ostream & writeOut(std::ostream & os);
 };
 
-static inline std::ostream & operator << (std::ostream & os,
-        PrinterObject & printer)
+static inline std::ostream &
+operator << (std::ostream & os, PrinterObject & printer)
 {
     return printer.writeOut(os);
 }
 
-static inline std::ostream & operator << (std::ostream & os,
-        PrinterPointer & printer)
+static inline std::ostream &
+operator << (std::ostream & os, PrinterPointer & printer)
 {
     return printer->writeOut(os);
 }