remove redundant class loader limit test

Daniel Kroening · Daniel Kroening · commit 53b3c4a5f4e9 · 2018-08-21T12:16:33.000+01:00
diff --git a/jbmc/src/java_bytecode/java_class_loader.cpp b/jbmc/src/java_bytecode/java_class_loader.cpp
@@ -164,9 +164,6 @@ java_class_loadert::get_parse_tree(
           cp_entry.path + '/' + class_file;
 #endif
 
-        if(!class_loader_limit.load_class_file(class_file))
-          continue;
-
         if(std::ifstream(full_path))
         {
           debug() << "Getting class `" << class_name << "' from file "

Original file line number	Diff line number	Diff line change
`@@ -164,9 +164,6 @@ java_class_loadert::get_parse_tree(`
`164`	`164`	`cp_entry.path + '/' + class_file;`
`165`	`165`	`#endif`
`166`	`166`
`167`		`- if(!class_loader_limit.load_class_file(class_file))`
`168`		`- continue;`
`169`		`-`
`170`	`167`	`if(std::ifstream(full_path))`
`171`	`168`	`{`
`172`	`169`	debug() << "Getting class `" << class_name << "' from file "