From 1cdaa823aa2db2f68cf63561a85771bb98aec70f Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 2 Apr 2019 13:22:11 +0200
Subject: [api] Remove 8.10 deprecations.

Some of them are significant so presumably it will take a bit of
effort to fix overlays.

I left out the removal of `nf_enter` for now as MTac2 needs some
serious porting in order to avoid it.
---
 clib/cString.mli | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'clib/cString.mli')

diff --git a/clib/cString.mli b/clib/cString.mli
index 364b6a34b1..f68bd3bb65 100644
--- a/clib/cString.mli
+++ b/clib/cString.mli
@@ -30,10 +30,6 @@ sig
   val implode : string list -> string
   (** [implode [s1; ...; sn]] returns [s1 ^ ... ^ sn] *)
 
-  val strip : string -> string
-  [@@ocaml.deprecated "Use [trim]"]
-  (** Alias for [String.trim] *)
-
   val drop_simple_quotes : string -> string
   (** Remove the eventual first surrounding simple quotes of a string. *)
 
@@ -52,10 +48,6 @@ sig
   val ordinal : int -> string
   (** Generate the ordinal number in English. *)
 
-  val split : char -> string -> string list
-  [@@ocaml.deprecated "Use [split_on_char]"]
-  (** [split c s] alias of [String.split_on_char] *)
-
   val is_sub : string -> string -> int -> bool
   (** [is_sub p s off] tests whether [s] contains [p] at offset [off]. *)
 
-- 
cgit v1.2.3