diff --git a/src/core/CCArray.ml b/src/core/CCArray.ml index a97bc62d..450fbe1d 100644 --- a/src/core/CCArray.ml +++ b/src/core/CCArray.ml @@ -1,4 +1,3 @@ - (* This file is free software, part of containers. See file "license" for more details. *) (** {1 Array utils} *) @@ -20,8 +19,6 @@ type 'a printer = Format.formatter -> 'a -> unit include CCShimsArray_ -type 'a t = 'a array - let empty = [| |] let map = Array.map diff --git a/src/core/CCArray.mli b/src/core/CCArray.mli index 8fdd4d5e..c707245e 100644 --- a/src/core/CCArray.mli +++ b/src/core/CCArray.mli @@ -20,9 +20,6 @@ external make_float : int -> float array = "caml_make_float_vect" (* compat *) include module type of CCShimsArray_ -type 'a t = 'a array -(** The type for arrays *) - val empty : 'a t (** [empty] is the empty array, physically equal to [||]. *)