File tree Expand file tree Collapse file tree 1 file changed +7
-8
lines changed Expand file tree Collapse file tree 1 file changed +7
-8
lines changed Original file line number Diff line number Diff line change @@ -8,17 +8,16 @@ Author: Chris Smowton, chris.smowton@diffblue.com
88
99#include < iostream>
1010
11- #include < testing-utils/call_graph_test_utils.h>
12- #include < testing-utils/catch.hpp>
1311#include < analyses/dependence_graph.h>
14- #include < util/symbol_table.h>
15- #include < util/std_code.h>
16- #include < util/c_types.h>
17- #include < util/arith_tools.h>
12+ #include < ansi-c/ansi_c_language.h>
1813#include < goto-programs/goto_convert_functions.h>
1914#include < langapi/mode.h>
20- #include < ansi-c/ansi_c_language.h>
21-
15+ #include < testing-utils/call_graph_test_utils.h>
16+ #include < testing-utils/catch.hpp>
17+ #include < util/arith_tools.h>
18+ #include < util/c_types.h>
19+ #include < util/std_code.h>
20+ #include < util/symbol_table.h>
2221
2322const std::set<goto_programt::const_targett>&
2423 dependence_graph_test_get_control_deps (const dep_graph_domaint &domain)
You can’t perform that action at this time.
0 commit comments