Merge pull request #4816 from romainbrenguier/bugfix/value-sett-output

tautschnig · web-flow · commit 21574d6a697f · 2019-06-19T13:33:12.000+01:00
Fix indentation in value_sett output
diff --git a/src/pointer-analysis/value_set.cpp b/src/pointer-analysis/value_set.cpp
@@ -211,7 +211,7 @@ void value_sett::output(std::ostream &out, const std::string &indent) const
       {
         out << ", ";
         if(width >= 40)
-          out << "\n" << std::string(' ', indent.size()) << "      ";
+          out << "\n" << std::string(indent.size(), ' ') << "      ";
       }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -211,7 +211,7 @@ void value_sett::output(std::ostream &out, const std::string &indent) const`
`211`	`211`	`{`
`212`	`212`	`out << ", ";`
`213`	`213`	`if(width >= 40)`
`214`		`- out << "\n" << std::string(' ', indent.size()) << " ";`
	`214`	`+ out << "\n" << std::string(indent.size(), ' ') << " ";`
`215`	`215`	`}`
`216`	`216`	`}`
`217`	`217`