From 21feaaf1ca0db7f27e16634e5385861fc854f19b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 19 Jun 2019 09:50:36 -0500 Subject: [PATCH] fix compilation on < 4.08 --- src/core/CCArray.ml | 3 --- src/core/CCArray.mli | 3 --- 2 files changed, 6 deletions(-) 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 [||]. *)