missing iterator header

Daniel Kroening · Daniel Kroening · commit fedc0642c37a · 2018-06-08T17:56:41.000+01:00
diff --git 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.
