From 9829a588b69f957bcb5df8ee8e23b76bef576836 Mon Sep 17 00:00:00 2001
From: Chris Smowton <chris@smowton.net>
Date: Wed, 22 Nov 2017 09:32:30 +0000
Subject: [PATCH] Add headers needed to build under MSVC14 / Visual Studio 2015

These were presumably included from other standard library includes
on other target platforms.
---
 src/java_bytecode/generate_java_generic_type.cpp | 3 +++
 src/java_bytecode/java_types.cpp                 | 1 +
 2 files changed, 4 insertions(+)

diff --git a/src/java_bytecode/generate_java_generic_type.cpp b/src/java_bytecode/generate_java_generic_type.cpp
index 00f45eb8ec9..87e8ba2012c 100644
--- a/src/java_bytecode/generate_java_generic_type.cpp
+++ b/src/java_bytecode/generate_java_generic_type.cpp
@@ -6,6 +6,9 @@
  Author: DiffBlue Limited. All rights reserved.
 
 \*******************************************************************/
+
+#include <iterator>
+
 #include "generate_java_generic_type.h"
 #include <util/namespace.h>
 #include <java_bytecode/java_types.h>
diff --git a/src/java_bytecode/java_types.cpp b/src/java_bytecode/java_types.cpp
index 3e9f3925274..875bd09e181 100644
--- a/src/java_bytecode/java_types.cpp
+++ b/src/java_bytecode/java_types.cpp
@@ -7,6 +7,7 @@ Author: Daniel Kroening, kroening@kroening.com
 \*******************************************************************/
 
 #include <cctype>
+#include <iterator>
 
 #include <util/prefix.h>
 #include <util/std_types.h>