Simplify

Red-Panda64 · Feb 13, 2025 · bac638f · bac638f
1 parent f49e806
commit bac638f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/constraint/constrSys.ml b/src/constraint/constrSys.ml
@@ -209,8 +209,7 @@ struct
   let sys_change get =
     S.sys_change (getL % get % l) (getG % get % g)
 
-  let postmortem leaf =
-    match leaf with
+  let postmortem = function
     | `L g -> List.map (fun x -> `L x) @@ S.postmortem g
     | _ -> []
 end