diff options
Diffstat (limited to 'cparser/Parse.ml')
| -rw-r--r-- | cparser/Parse.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/cparser/Parse.ml b/cparser/Parse.ml index dceb9b11..0d3003aa 100644 --- a/cparser/Parse.ml +++ b/cparser/Parse.ml @@ -23,8 +23,10 @@ let transform_program t p name = (run_pass PackedStructs.program 'p' (run_pass Unblock.program 'b' (run_pass Bitfields.program 'f' - p)))) in - (Rename.program p1) + p)))) in + let p2 = Rename.program p1 in + Checks.program p2; + p2 let parse_transformations s = let t = ref CharSet.empty in |