diff --git a/middle_end/flambda2/terms/zero_alloc_attribute.ml b/middle_end/flambda2/terms/zero_alloc_attribute.ml
index 10e77a425a8..e55cb3a2ed9 100644
--- a/middle_end/flambda2/terms/zero_alloc_attribute.ml
+++ b/middle_end/flambda2/terms/zero_alloc_attribute.ml
@@ -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