Removed unused include

NathanJPhillips · NathanJPhillips · commit 79a6af4ca819 · 2019-07-16T10:41:52.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,8 +2,6 @@
 
 #include "generic_parameter_specialization_map_keys.h"
 
-#include <iterator>
-
 #include <util/range.h>
 
 /// \param type: Source type
