|
@@ -1284,7 +1284,7 @@ prettyPrint(ConstElementPtr element, std::ostream& out,
|
|
out << std::string(indent + step, ' ');
|
|
out << std::string(indent + step, ' ');
|
|
prettyPrint(it->second, out, indent + step, step);
|
|
prettyPrint(it->second, out, indent + step, step);
|