Skip to content

Commit

Permalink
format
Browse files Browse the repository at this point in the history
  • Loading branch information
gretay-js committed Jun 25, 2024
1 parent 80ba68a commit 4d93861
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions middle_end/flambda2/terms/zero_alloc_attribute.ml
Original file line number Diff line number Diff line change
Expand Up @@ -39,10 +39,9 @@ let from_lambda : Lambda.zero_alloc_attribute -> t =
fun a ->
match a with
| Default_zero_alloc -> Default_check
| Assume { strict; never_returns_normally; never_raises; loc; } ->
| Assume { strict; never_returns_normally; never_raises; loc } ->
Assume { strict; never_returns_normally; never_raises; loc }
| Check { strict; loc; } ->
Check { strict; loc }
| Check { strict; loc } -> Check { strict; loc }

let equal x y =
match x, y with
Expand Down

0 comments on commit 4d93861

Please sign in to comment.