fixup! Allow extra entry-points to be specified for CI lazy loading

tautschnig · tautschnig · commit 9d5d907ede97 · 2017-09-06T13:50:48.000+01:00
diff --git a/src/java_bytecode/java_utils.cpp b/src/java_bytecode/java_utils.cpp
@@ -17,6 +17,8 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <util/std_types.h>
 #include <util/string_utils.h>
 
+#include <set>
+
 bool java_is_array_type(const typet &type)
 {
   if(type.id()!=ID_struct)

Original file line number	Diff line number	Diff line change
`@@ -17,6 +17,8 @@ Author: Daniel Kroening, [email protected]`
`17`	`17`	`#include <util/std_types.h>`
`18`	`18`	`#include <util/string_utils.h>`
`19`	`19`
	`20`	`+#include <set>`
	`21`	`+`
`20`	`22`	`bool java_is_array_type(const typet &type)`
`21`	`23`	`{`
`22`	`24`	`if(type.id()!=ID_struct)`