extra indent in arrays of non-objects

Daniel Kroening · Daniel Kroening · commit cdbae91bc3af · 2016-08-19T10:35:10.000+01:00
diff --git a/src/util/json.cpp b/src/util/json.cpp
@@ -141,11 +141,9 @@ void jsont::output_rec(std::ostream &out, unsigned indent) const
       }
 
       if(array.back().is_object())
-        out << '\n';
+        out << '\n' << std::string(indent*2, ' ');
       else
         out << ' ';
-
-      out << std::string(indent*2, ' ');
     }
 
     out << ']';

Original file line number	Diff line number	Diff line change
`@@ -141,11 +141,9 @@ void jsont::output_rec(std::ostream &out, unsigned indent) const`
`141`	`141`	`}`
`142`	`142`
`143`	`143`	`if(array.back().is_object())`
`144`		`- out << '\n';`
	`144`	`+ out << '\n' << std::string(indent*2, ' ');`
`145`	`145`	`else`
`146`	`146`	`out << ' ';`
`147`		`-`
`148`		`- out << std::string(indent*2, ' ');`
`149`	`147`	`}`
`150`	`148`
`151`	`149`	`out << ']';`