in stdext/Opt: Renamed cat_options to cat_some, to be more in line with the coming...

Signed-off-by: Matthias Goergens <Matthias.Goergens@citrix.com>

diff --git a/stdext/opt.ml b/stdext/opt.ml
index 8c39fb13754a6d3ce57c68fdfa32572794b522b9..bf637609fc8d27cdeb94296af71e2208b310d7e4 100644 (file)
--- a/stdext/opt.ml
+++ b/stdext/opt.ml
@@ -53,7 +53,7 @@ let fold_right f opt accu =
        | Some x -> f x accu
        | None -> accu
 
-let cat_options a = List.map unbox (List.filter is_boxed a)
+let cat_some a = List.map unbox (List.filter is_boxed a)
 
 let join = function
     | Some (Some a) -> Some a

diff --git a/stdext/opt.mli b/stdext/opt.mli
index fd3147c6600a1dd9ae059a74804bdcffe136d79d..e3db7aa99ccbd391ec388eabacf58310c0beb4a2 100644 (file)
--- a/stdext/opt.mli
+++ b/stdext/opt.mli
@@ -19,5 +19,5 @@ val is_boxed : 'a option -> bool
 val to_list : 'a option -> 'a list
 val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b option -> 'a
 val fold_right : ('a -> 'b -> 'b) -> 'a option -> 'b -> 'b
-val cat_options : 'a option list -> 'a list
+val cat_some : 'a option list -> 'a list
 val join : ('a option) option -> 'a option