From 02ab2f18c95eb2efd1969d14d6bb90ba71374b9c Mon Sep 17 00:00:00 2001 From: Josh Berdine Date: Sun, 21 Feb 2021 13:16:43 -0800 Subject: [PATCH] [sledge] Add missing label Reviewed By: ngorogiannis Differential Revision: D26250515 fbshipit-source-id: aa429e5b0 --- sledge/nonstdlib/ocaml/set.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sledge/nonstdlib/ocaml/set.ml b/sledge/nonstdlib/ocaml/set.ml index 161876893..427b67163 100644 --- a/sledge/nonstdlib/ocaml/set.ml +++ b/sledge/nonstdlib/ocaml/set.ml @@ -581,7 +581,7 @@ module Make(Ord: OrderedType) = | [x0; x1; x2] -> add x2 (add x1 (singleton x0)) | [x0; x1; x2; x3] -> add x3 (add x2 (add x1 (singleton x0))) | [x0; x1; x2; x3; x4] -> add x4 (add x3 (add x2 (add x1 (singleton x0)))) - | _ -> of_sorted_list (List.sort_uniq Ord.compare l) + | _ -> of_sorted_list (List.sort_uniq ~cmp:Ord.compare l) let add_seq i m = Seq.fold_left (fun s x -> add x s) m i