Renaming it to symbol

romainbrenguier · romainbrenguier · commit c1a93b373fe2 · 2018-04-23T08:50:11.000+01:00
it is not an iterator in that case
diff --git a/src/solvers/prop/prop_conv.cpp b/src/solvers/prop/prop_conv.cpp
@@ -547,6 +547,6 @@ exprt prop_conv_solvert::get(const exprt &expr) const
 
 void prop_conv_solvert::print_assignment(std::ostream &out) const
 {
-  for(const auto &it : symbols)
-    out << it.first << " = " << prop.l_get(it.second) << "\n";
+  for(const auto &symbol : symbols)
+    out << symbol.first << " = " << prop.l_get(symbol.second) << '\n';
 }

Original file line number	Diff line number	Diff line change
`@@ -547,6 +547,6 @@ exprt prop_conv_solvert::get(const exprt &expr) const`
`547`	`547`
`548`	`548`	`void prop_conv_solvert::print_assignment(std::ostream &out) const`
`549`	`549`	`{`
`550`		`- for(const auto &it : symbols)`
`551`		`- out << it.first << " = " << prop.l_get(it.second) << "\n";`
	`550`	`+ for(const auto &symbol : symbols)`
	`551`	`+ out << symbol.first << " = " << prop.l_get(symbol.second) << '\n';`
`552`	`552`	`}`