@@ -13,22 +13,6 @@ Date: February 2016
13
13
14
14
#include " contracts.h"
15
15
16
- #include < algorithm>
17
- #include < map>
18
-
19
- #include < analyses/local_bitvector_analysis.h>
20
- #include < analyses/local_may_alias.h>
21
-
22
- #include < ansi-c/c_expr.h>
23
-
24
- #include < goto-instrument/havoc_utils.h>
25
-
26
- #include < goto-programs/goto_inline.h>
27
- #include < goto-programs/goto_program.h>
28
- #include < goto-programs/remove_skip.h>
29
-
30
- #include < langapi/language_util.h>
31
-
32
16
#include < util/c_types.h>
33
17
#include < util/exception_utils.h>
34
18
#include < util/expr_util.h>
@@ -44,11 +28,24 @@ Date: February 2016
44
28
#include < util/replace_symbol.h>
45
29
#include < util/std_code.h>
46
30
31
+ #include < goto-programs/goto_inline.h>
32
+ #include < goto-programs/goto_program.h>
33
+ #include < goto-programs/remove_skip.h>
34
+
35
+ #include < analyses/local_bitvector_analysis.h>
36
+ #include < analyses/local_may_alias.h>
37
+ #include < ansi-c/c_expr.h>
38
+ #include < goto-instrument/havoc_utils.h>
39
+ #include < langapi/language_util.h>
40
+
47
41
#include " havoc_assigns_clause_targets.h"
48
42
#include " instrument_spec_assigns.h"
49
43
#include " memory_predicates.h"
50
44
#include " utils.h"
51
45
46
+ #include < algorithm>
47
+ #include < map>
48
+
52
49
// / Decorator for \ref message_handlert that keeps track of warnings
53
50
// / occuring when inlining a function.
54
51
// /
0 commit comments