Skip to content

Commit 987106f

Browse files
Make unit test independent of java_bytecode
1 parent d945452 commit 987106f

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

unit/analyses/dependence_graph.cpp

+2-2
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ Author: Chris Smowton, [email protected]
1616
#include <util/arith_tools.h>
1717
#include <goto-programs/goto_convert_functions.h>
1818
#include <langapi/mode.h>
19-
#include <java_bytecode/java_bytecode_language.h>
19+
#include <ansi-c/ansi_c_language.h>
2020

2121
static symbolt create_void_function_symbol(
2222
const irep_idt &name,
@@ -57,7 +57,7 @@ SCENARIO("dependence_graph", "[core][analyses][dependence_graph]")
5757
// }
5858
// void b() { }
5959

60-
register_language(new_java_bytecode_language);
60+
register_language(new_ansi_c_language);
6161

6262
goto_modelt goto_model;
6363
namespacet ns(goto_model.symbol_table);

0 commit comments

Comments
 (0)