Include missing map header

tautschnig · tautschnig · commit 1782e8f96674 · 2018-03-23T19:57:26.000Z
&lt;map&gt; is only provided by irep.h when SUB_IS_LIST is not set.
diff --git a/src/java_bytecode/java_bytecode_parse_tree.h b/src/java_bytecode/java_bytecode_parse_tree.h
@@ -11,6 +11,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #define CPROVER_JAVA_BYTECODE_JAVA_BYTECODE_PARSE_TREE_H
 
 #include <set>
+#include <map>
 
 #include <util/optional.h>
 #include <util/std_code.h>
