diff options
Diffstat (limited to 'src/pretty_printing.h')
| -rw-r--r-- | src/pretty_printing.h | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/pretty_printing.h b/src/pretty_printing.h index f1dd9db04..f693c4d51 100644 --- a/src/pretty_printing.h +++ b/src/pretty_printing.h @@ -26,10 +26,7 @@ #include "support/colors.h" inline std::ostream& doIndent(std::ostream& o, unsigned indent) { - for (unsigned i = 0; i < indent; i++) { - o << " "; - } - return o; + return o << std::string(indent, ' '); } inline std::ostream& prepareMajorColor(std::ostream& o) { |