another ranged for

Daniel Kroening · Daniel Kroening · commit 4b5467cd08bc · 2017-11-14T20:13:30.000Z
diff --git a/src/solvers/prop/prop_conv.cpp b/src/solvers/prop/prop_conv.cpp
@@ -530,8 +530,6 @@ exprt prop_conv_solvert::get(const exprt &expr) const
 
 void prop_conv_solvert::print_assignment(std::ostream &out) const
 {
-  for(symbolst::const_iterator it=symbols.begin();
-      it!=symbols.end();
-      it++)
-    out << it->first << " = " << prop.l_get(it->second) << "\n";
+  for(const auto &it : symbols)
+    out << it.first << " = " << prop.l_get(it.second) << "\n";
 }

Original file line number	Diff line number	Diff line change
`@@ -530,8 +530,6 @@ exprt prop_conv_solvert::get(const exprt &expr) const`
`530`	`530`
`531`	`531`	`void prop_conv_solvert::print_assignment(std::ostream &out) const`
`532`	`532`	`{`
`533`		`- for(symbolst::const_iterator it=symbols.begin();`
`534`		`- it!=symbols.end();`
`535`		`- it++)`
`536`		`- out << it->first << " = " << prop.l_get(it->second) << "\n";`
	`533`	`+ for(const auto &it : symbols)`
	`534`	`+ out << it.first << " = " << prop.l_get(it.second) << "\n";`
`537`	`535`	`}`