From 33787ed2c68cee2fc1a068d89c9e479255282487 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Thu, 7 Jun 2018 20:38:43 +0100
Subject: [PATCH] missing <iterator> header

---
 .../generic_parameter_specialization_map_keys.cpp            | 2 ++
 jbmc/src/java_bytecode/java_qualifiers.cpp                   | 5 ++++-
 jbmc/unit/java-testing-utils/require_parse_tree.cpp          | 2 ++
 src/goto-instrument/cover_instrument_mcdc.cpp                | 1 +
 src/solvers/refinement/string_builtin_function.cpp           | 2 ++
 5 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/jbmc/src/java_bytecode/generic_parameter_specialization_map_keys.cpp b/jbmc/src/java_bytecode/generic_parameter_specialization_map_keys.cpp
index 8666806e040..14949b98df7 100644
--- a/jbmc/src/java_bytecode/generic_parameter_specialization_map_keys.cpp
+++ b/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.
diff --git a/jbmc/src/java_bytecode/java_qualifiers.cpp b/jbmc/src/java_bytecode/java_qualifiers.cpp
index a9f2f0bdacb..5771aec0573 100644
--- a/jbmc/src/java_bytecode/java_qualifiers.cpp
+++ b/jbmc/src/java_bytecode/java_qualifiers.cpp
@@ -4,10 +4,13 @@
 /// Java-specific type qualifiers
 
 #include "java_qualifiers.h"
+
 #include <sstream>
+#include <iterator>
+
 #include <util/make_unique.h>
-#include "expr2java.h"
 
+#include "expr2java.h"
 
 java_qualifierst &java_qualifierst::operator=(const java_qualifierst &other)
 {
diff --git a/jbmc/unit/java-testing-utils/require_parse_tree.cpp b/jbmc/unit/java-testing-utils/require_parse_tree.cpp
index 4cee0089417..1d40e808f47 100644
--- a/jbmc/unit/java-testing-utils/require_parse_tree.cpp
+++ b/jbmc/unit/java-testing-utils/require_parse_tree.cpp
@@ -8,6 +8,8 @@
 
 #include "require_parse_tree.h"
 
+#include <iterator>
+
 /// Find in the parsed class a specific entry within the
 /// lambda_method_handle_map with a matching descriptor. Will fail if no
 /// matching lambda entry found.
diff --git a/src/goto-instrument/cover_instrument_mcdc.cpp b/src/goto-instrument/cover_instrument_mcdc.cpp
index fe1c90f5b77..8df2beaa110 100644
--- a/src/goto-instrument/cover_instrument_mcdc.cpp
+++ b/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"
 
diff --git a/src/solvers/refinement/string_builtin_function.cpp b/src/solvers/refinement/string_builtin_function.cpp
index 6776bb026e9..39bb9d4c782 100644
--- a/src/solvers/refinement/string_builtin_function.cpp
+++ b/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