Merge pull request #4911 from diffblue/cleanup/range_const_return

Removed const from return types where they return by value

Author: Daniel Kroening

src/util/range.h

@@ -53,7 +53,7 @@ class map_iteratort
   }
 
   /// Postincrement operator
-  const map_iteratort operator++(int)
+  map_iteratort operator++(int)
   {
     map_iteratort tmp(*this);
     this->operator++();
@@ -136,7 +136,7 @@ class filter_iteratort
   }
 
   /// Postincrement operator
-  const filter_iteratort operator++(int)
+  filter_iteratort operator++(int)
   {
     filter_iteratort tmp(*this);
     this->operator++();
@@ -228,7 +228,7 @@ struct concat_iteratort
   }
 
   /// Postincrement operator
-  const concat_iteratort operator++(int)
+  concat_iteratort operator++(int)
   {
     concat_iteratort tmp(first_begin, first_end, second_begin);
     this->operator++();
@@ -317,7 +317,7 @@ struct zip_iteratort
   }
 
   /// Postincrement operator
-  const zip_iteratort operator++(int)
+  zip_iteratort operator++(int)
   {
     zip_iteratort tmp(first_begin, first_end, second_begin, second_end);
     this->operator++();