From 631b33f62e2d3522267e236a95209fd59c244ca6 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 14 Jan 2018 16:21:59 -0600 Subject: [PATCH] fix doc --- src/core/CCList.mli | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/core/CCList.mli b/src/core/CCList.mli index c6fe1af1..17391f76 100644 --- a/src/core/CCList.mli +++ b/src/core/CCList.mli @@ -274,8 +274,7 @@ val keep_some : 'a option t -> 'a t @since 1.3 *) val keep_ok : ('a, _) Result.result t -> 'a t -(** [filter_some l] retains only elements of the form [Some x]. - Same as [filter_map CCFun.id] +(** [keep_ok l] retains only elements of the form [Ok x]. @since 1.3 *) val all_some : 'a option t -> 'a t option