From 4a6ae9babf772ecf16b1ddd92fbfdd6712486bfe Mon Sep 17 00:00:00 2001
From: Romain Brenguier <romain.brenguier@gmail.com>
Date: Wed, 2 May 2018 11:22:04 +0100
Subject: [PATCH] Add java_types unit tests to Makefile

---
 unit/Makefile                                          | 4 ++++
 unit/java_bytecode/java_types/erase_type_arguments.cpp | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/unit/Makefile b/unit/Makefile
index 05f188506aa..b150bfa632c 100644
--- a/unit/Makefile
+++ b/unit/Makefile
@@ -24,6 +24,10 @@ SRC += unit_tests.cpp \
        java_bytecode/java_bytecode_parse_lambdas/java_bytecode_convert_class_lambda_method_handles.cpp \
        miniBDD_new.cpp \
        java_bytecode/java_string_library_preprocess/convert_exprt_to_string_exprt.cpp \
+       java_bytecode/java_types/erase_type_arguments.cpp \
+       java_bytecode/java_types/generic_type_index.cpp \
+       java_bytecode/java_types/java_generic_symbol_type.cpp \
+       java_bytecode/java_types/java_type_from_string.cpp \
        java_bytecode/java_utils_test.cpp \
        java_bytecode/inherited_static_fields/inherited_static_fields.cpp \
        pointer-analysis/custom_value_set_analysis.cpp \
diff --git a/unit/java_bytecode/java_types/erase_type_arguments.cpp b/unit/java_bytecode/java_types/erase_type_arguments.cpp
index e1214350bcc..225f2d8c4c3 100644
--- a/unit/java_bytecode/java_types/erase_type_arguments.cpp
+++ b/unit/java_bytecode/java_types/erase_type_arguments.cpp
@@ -7,7 +7,7 @@
 \*******************************************************************/
 
 #include <testing-utils/catch.hpp>
-#include <java_types.h>
+#include <java_bytecode/java_types.h>
 
 SCENARIO("erase_type_arguments", "[core][java_types]")
 {