Update unit tests to use java_method_typet

jeannielynnmoulton · jeannielynnmoulton · commit 551df9cf1667 · 2018-08-13T16:08:39.000+01:00
diff --git a/jbmc/unit/java_bytecode/goto-programs/remove_virtual_functions_without_fallback.cpp b/jbmc/unit/java_bytecode/goto-programs/remove_virtual_functions_without_fallback.cpp
@@ -7,6 +7,8 @@
 
 \*******************************************************************/
 
+#include <java_bytecode/java_types.h>
+
 #include <testing-utils/catch.hpp>
 #include <java-testing-utils/load_java_class.h>
 
diff --git a/jbmc/unit/util/parameter_indices.cpp b/jbmc/unit/util/parameter_indices.cpp
@@ -6,9 +6,10 @@
 
 \*******************************************************************/
 
-#include <java-testing-utils/load_java_class.h>
+#include <java_bytecode/java_types.h>
+
 #include <testing-utils/catch.hpp>
-#include <util/std_types.h>
+#include <java-testing-utils/load_java_class.h>
 
 void check_consistency(const symbolt &symbol)
 {
