Skip to content

Commit 88f8cfc

Browse files
Remove unnecessary includes
1 parent d6986d8 commit 88f8cfc

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

jbmc/src/janalyzer/janalyzer_parse_options.cpp

-2
Original file line numberDiff line numberDiff line change
@@ -17,9 +17,7 @@ Author: Daniel Kroening, [email protected]
1717
#include <memory>
1818

1919
#include <ansi-c/ansi_c_language.h>
20-
#include <cpp/cpp_language.h>
2120
#include <java_bytecode/java_bytecode_language.h>
22-
#include <jsil/jsil_language.h>
2321

2422
#include <goto-programs/goto_convert_functions.h>
2523
#include <goto-programs/goto_inline.h>

0 commit comments

Comments
 (0)