Skip to content

Commit 005a453

Browse files
committed
Move Cabs2cil.stripParenLocal back to its old location
1 parent 76e9c83 commit 005a453

File tree

1 file changed

+5
-3
lines changed

1 file changed

+5
-3
lines changed

src/frontc/cabs2cil.ml

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -543,9 +543,6 @@ let docEnv () =
543543
H.iter (fun k d -> acc := (k, d) :: !acc) env;
544544
docList ~sep:line (fun (k, d) -> dprintf " %s -> %a" k doone d) () !acc
545545

546-
let rec stripParenLocal e = match e with
547-
| A.PAREN e2 -> stripParenLocal e2
548-
| _ -> e
549546

550547

551548
(* Add a new variable. Do alpha-conversion if necessary *)
@@ -6843,6 +6840,11 @@ and doStatement (s : A.statement) : chunk =
68436840
consLabel "booo_statement" empty (convLoc (C.get_statementloc s)) false
68446841
end
68456842

6843+
6844+
let rec stripParenLocal e = match e with
6845+
| A.PAREN e2 -> stripParenLocal e2
6846+
| _ -> e
6847+
68466848
class stripParenClass : V.cabsVisitor = object (self)
68476849
inherit V.nopCabsVisitor
68486850

0 commit comments

Comments
 (0)