From f88f46177f71344320405be0f1e20d03086a0c07 Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Wed, 14 Jun 2017 16:49:54 +0100 Subject: [PATCH] Remove stray include accidentally merged from master --- src/java_bytecode/java_bytecode_convert_class.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/java_bytecode/java_bytecode_convert_class.h b/src/java_bytecode/java_bytecode_convert_class.h index 2f4b9f387f8..60fd9ad4fdd 100644 --- a/src/java_bytecode/java_bytecode_convert_class.h +++ b/src/java_bytecode/java_bytecode_convert_class.h @@ -17,7 +17,6 @@ Author: Daniel Kroening, kroening@kroening.com #include "java_bytecode_parse_tree.h" #include "java_bytecode_language.h" -#include "character_refine_preprocess.h" bool java_bytecode_convert_class( const java_bytecode_parse_treet &parse_tree,