diff --git a/lib/General.ml b/lib/General.ml index 125bdf255139951290f5f23f8d081a6e0de4a065..3518e825bc66f0a07a378e46bd6671bd602e7ecf 100644 --- a/lib/General.ml +++ b/lib/General.ml @@ -42,7 +42,7 @@ let rec uniq1 cmp x ys = [] | y :: ys -> if cmp x y = 0 then - uniq1 compare x ys + uniq1 cmp x ys else y :: uniq1 cmp y ys @@ -84,4 +84,3 @@ let rec foldr f xs accu = accu | Cons (x, xs) -> f x (foldr f xs accu) -