From 3146336bc350e77a5c2bb7be150cbc8430e8c2c0 Mon Sep 17 00:00:00 2001
From: Romain Brenguier <romain.brenguier@gmail.com>
Date: Tue, 10 Oct 2017 15:39:45 +0100
Subject: [PATCH] Remove unnecessary includes in java-typecheck

---
 src/java_bytecode/java_bytecode_typecheck_expr.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/java_bytecode/java_bytecode_typecheck_expr.cpp b/src/java_bytecode/java_bytecode_typecheck_expr.cpp
index e5b4d0fe572..42c8a930186 100644
--- a/src/java_bytecode/java_bytecode_typecheck_expr.cpp
+++ b/src/java_bytecode/java_bytecode_typecheck_expr.cpp
@@ -13,8 +13,6 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <iomanip>
 
-#include <util/std_expr.h>
-#include <util/prefix.h>
 #include <util/arith_tools.h>
 #include <util/unicode.h>