Rename it to pair in boolbvt::print_assignment

The variable represents a pair and not an iterator
smowton · Apr 23, 2018 · 2d8be06 · 2d8be06
1 parent 4365c28
commit 2d8be06
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/src/solvers/flattening/boolbv.cpp b/src/solvers/flattening/boolbv.cpp
@@ -687,12 +687,8 @@ bool boolbvt::is_unbounded_array(const typet &type) const
 void boolbvt::print_assignment(std::ostream &out) const
 {
   arrayst::print_assignment(out);
-
-  for(const auto &it : map.mapping)
-  {
-    out << it.first << "="
-        << it.second.get_value(prop) << '\n';
-  }
+  for(const auto &pair : map.mapping)
+    out << pair.first << "=" << pair.second.get_value(prop) << '\n';
 }
 
 void boolbvt::build_offset_map(const struct_typet &src, offset_mapt &dest)