Skip to content

Commit d83b9fb

Browse files
committed
perm -> renaming
1 parent 45dab5d commit d83b9fb

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

middle_end/flambda2/terms/trap_action.ml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -92,15 +92,15 @@ let free_names = function
9292
| Push { exn_handler } | Pop { exn_handler; raise_kind = _ } ->
9393
Name_occurrences.singleton_continuation_in_trap_action exn_handler
9494

95-
let apply_renaming t perm =
95+
let apply_renaming t renaming =
9696
match t with
9797
| Push { exn_handler } ->
98-
let exn_handler' = Renaming.apply_continuation perm exn_handler in
98+
let exn_handler' = Renaming.apply_continuation renaming exn_handler in
9999
if exn_handler == exn_handler'
100100
then t
101101
else Push { exn_handler = exn_handler' }
102102
| Pop { exn_handler; raise_kind } ->
103-
let exn_handler' = Renaming.apply_continuation perm exn_handler in
103+
let exn_handler' = Renaming.apply_continuation renaming exn_handler in
104104
if exn_handler == exn_handler'
105105
then t
106106
else Pop { exn_handler = exn_handler'; raise_kind }

0 commit comments

Comments
 (0)