Merge pull request #1506 from smowton/smowton/1420-fragments/typecheck_expr_cleanup

Remove unnecessary includes in java-typecheck

Author: smowton

src/java_bytecode/java_bytecode_typecheck_expr.cpp

@@ -13,8 +13,6 @@ Author: Daniel Kroening, [email protected]
 
 #include <iomanip>
 
-#include <util/std_expr.h>
-#include <util/prefix.h>
 #include <util/arith_tools.h>
 #include <util/unicode.h>