From be4be557567251a73f40bfd7a48220b33f5ddc58 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Thu, 9 Mar 2017 13:32:03 -0800 Subject: use a single space for pretty printing of wasts, so massive wasts are less unruly (#928) --- src/pretty_printing.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/pretty_printing.h b/src/pretty_printing.h index 9dec22ca3..2a1a532dc 100644 --- a/src/pretty_printing.h +++ b/src/pretty_printing.h @@ -27,7 +27,7 @@ inline std::ostream &doIndent(std::ostream &o, unsigned indent) { for (unsigned i = 0; i < indent; i++) { - o << " "; + o << " "; } return o; } -- cgit v1.2.3