Merge pull request #1608 from smowton/smowton/fix/msvc14_headers

Daniel Kroening · web-flow · commit 3d16d36fd902 · 2017-11-22T10:00:20.000Z
Add headers needed to build under MSVC14 / Visual Studio 2015
diff --git 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
@@ -7,6 +7,7 @@ Author: Daniel Kroening, kroening@kroening.com
 \*******************************************************************/
 
 #include <cctype>
+#include <iterator>
 
 #include <util/prefix.h>
 #include <util/std_types.h>
