diff --git a/src/util.cpp b/src/util.cpp index c780bc1be..893fa641d 100644 --- a/src/util.cpp +++ b/src/util.cpp @@ -372,10 +372,12 @@ void combine (std::vector & dest, const std::vector & source) // unique list, with no duplicates. std::map both; std::vector ::iterator i1; - for (i1 = dest.begin (); i1 != dest.end (); ++i1) both[*i1] = 0; + for (i1 = dest.begin (); i1 != dest.end (); ++i1) + both[*i1] = 0; std::vector ::const_iterator i2; - for (i2 = source.begin (); i2 != source.end (); ++i2) both[*i2] = 0; + for (i2 = source.begin (); i2 != source.end (); ++i2) + both[*i2] = 0; // Now make a sequence out of the keys of the map. dest.clear ();