From 9d300de0f30eab9437c9571cbae4a1e302f7c316 Mon Sep 17 00:00:00 2001 From: Jeltz Date: Mon, 29 Aug 2022 22:50:52 +0200 Subject: [PATCH] Format utils.ml --- utils.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utils.ml b/utils.ml index 12a4eb2..304b823 100644 --- a/utils.ml +++ b/utils.ml @@ -1,4 +1,4 @@ let rec deoptionalise = function - | (Some x) :: xs -> x :: deoptionalise xs + | Some x :: xs -> x :: deoptionalise xs | None :: xs -> deoptionalise xs | [] -> []