Skip to content

Commit

Permalink
[doEdit] don't locally declare function calls
Browse files Browse the repository at this point in the history
  • Loading branch information
spearo2 committed Jul 23, 2024
1 parent a8efab1 commit 56b56b7
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions src/doEdit.ml
Original file line number Diff line number Diff line change
Expand Up @@ -79,9 +79,8 @@ let transform_instr i fundec =
Cil.Set (lv', e', loc)
| Cil.Call (lv, e, el, loc) ->
let lv' = Option.map ~f:(fun lv -> transform_lval lv fundec) lv in
let e' = transform_exp e fundec in
let el' = List.map ~f:(fun e -> transform_exp e fundec) el in
Cil.Call (lv', e', el', loc)
Cil.Call (lv', e, el', loc)
| _ -> i

let transform_return e loc fundec =
Expand Down

0 comments on commit 56b56b7

Please sign in to comment.