Skip to content

Commit ea3ba42

Browse files
Remove unused includes
1 parent f6488d7 commit ea3ba42

File tree

1 file changed

+0
-4
lines changed

1 file changed

+0
-4
lines changed

src/java_bytecode/java_bytecode_instrument.cpp

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -14,15 +14,11 @@ Date: June 2017
1414
#include <util/fresh_symbol.h>
1515
#include <util/std_code.h>
1616
#include <util/std_expr.h>
17-
#include <util/symbol_table.h>
1817
#include <util/c_types.h>
1918

2019
#include <goto-programs/goto_functions.h>
2120

2221
#include "java_bytecode_convert_class.h"
23-
#include "java_entry_point.h"
24-
#include "java_root_class.h"
25-
#include "java_types.h"
2622
#include "java_utils.h"
2723

2824
class java_bytecode_instrumentt:public messaget

0 commit comments

Comments
 (0)