missing <iterator> header

Author: Daniel Kroening

jbmc/src/java_bytecode/generic_parameter_specialization_map_keys.cpp

@@ -2,6 +2,8 @@
 
 #include "generic_parameter_specialization_map_keys.h"
 
+#include <iterator>
+
 /// \param type Source type
 /// \return The vector of implicitly generic and (explicitly) generic type
 /// parameters of the given type.

src/goto-instrument/cover_instrument_mcdc.cpp

@@ -14,6 +14,7 @@ Author: Daniel Kroening
 #include <langapi/language_util.h>
 
 #include <algorithm>
+#include <iterator>
 
 #include "cover_util.h"
 

src/solvers/refinement/string_builtin_function.cpp

@@ -4,6 +4,8 @@
 #include "string_builtin_function.h"
 
 #include <algorithm>
+#include <iterator>
+
 #include "string_constraint_generator.h"
 
 /// Get the valuation of the string, given a valuation