diff --git a/core/CCList.mli b/core/CCList.mli index 9f5115d8..5cc53b90 100644 --- a/core/CCList.mli +++ b/core/CCList.mli @@ -99,8 +99,7 @@ val findi : (int -> 'a -> 'b option) -> 'a t -> 'b option val find_idx : ('a -> bool) -> 'a t -> (int * 'a) option (** [find p x] returns [Some (i,x)] where [x] is the [i]-th element of [l], - and [p x] holds. Otherwise returns [None] - @since NEXT_RELEASE *) + and [p x] holds. Otherwise returns [None] *) val filter_map : ('a -> 'b option) -> 'a t -> 'b t (** Map and remove elements at the same time *)