another ranged for

Daniel Kroening · Daniel Kroening · commit 52976468fd27 · 2017-11-14T20:15:42.000Z
diff --git a/src/solvers/flattening/boolbv.cpp b/src/solvers/flattening/boolbv.cpp
@@ -697,12 +697,10 @@ bool boolbvt::is_unbounded_array(const typet &type) const
 
 void boolbvt::print_assignment(std::ostream &out) const
 {
-  for(boolbv_mapt::mappingt::const_iterator it=map.mapping.begin();
-      it!=map.mapping.end();
-      it++)
+  for(const auto &it : map.mapping)
   {
-    out << it->first << "="
-        << it->second.get_value(prop) << '\n';
+    out << it.first << "="
+        << it.second.get_value(prop) << '\n';
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -697,12 +697,10 @@ bool boolbvt::is_unbounded_array(const typet &type) const`
`697`	`697`
`698`	`698`	`void boolbvt::print_assignment(std::ostream &out) const`
`699`	`699`	`{`
`700`		`- for(boolbv_mapt::mappingt::const_iterator it=map.mapping.begin();`
`701`		`- it!=map.mapping.end();`
`702`		`- it++)`
	`700`	`+ for(const auto &it : map.mapping)`
`703`	`701`	`{`
`704`		`- out << it->first << "="`
`705`		`- << it->second.get_value(prop) << '\n';`
	`702`	`+ out << it.first << "="`
	`703`	`+ << it.second.get_value(prop) << '\n';`
`706`	`704`	`}`
`707`	`705`	`}`
`708`	`706`