From da8566910b4ad606055dabe5ec413131a6d2b866 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 25 Mar 2015 14:50:13 +0100 Subject: [PATCH] breaking: fix documentation of CCList.sorted_merge (different semantics) --- src/core/CCList.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/CCList.mli b/src/core/CCList.mli index 57a2944d..7ea28fdd 100644 --- a/src/core/CCList.mli +++ b/src/core/CCList.mli @@ -118,7 +118,7 @@ val filter_map : ('a -> 'b option) -> 'a t -> 'b t (** Map and remove elements at the same time *) val sorted_merge : ?cmp:('a -> 'a -> int) -> 'a list -> 'a list -> 'a list -(** merges elements from both sorted list, removing duplicates *) +(** merges elements from both sorted list *) val sort_uniq : ?cmp:('a -> 'a -> int) -> 'a list -> 'a list (** Sort the list and remove duplicate elements *)