diff options
Diffstat (limited to 'util/statetrace/printer.hh')
-rw-r--r-- | util/statetrace/printer.hh | 14 |
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); } |