From 87d5e79baea4f3679a1429d2a2e128b564eec5d5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 2 Oct 2018 15:59:06 +0200
Subject: [ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0

---
 clib/cString.mli | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'clib/cString.mli')

diff --git a/clib/cString.mli b/clib/cString.mli
index 2000dfafb5..df25a3821a 100644
--- a/clib/cString.mli
+++ b/clib/cString.mli
@@ -16,10 +16,6 @@ sig
   include S
   (** We include the standard library *)
 
-  [@@@ocaml.warning "-3"]     (* [@@noalloc] since 4.03.0 GPR#240 *)
-  external equal : string -> string -> bool = "caml_string_equal" "noalloc"
-  [@@@ocaml.warning "+3"]
-
   (** Equality on strings *)
 
   val hash : string -> int
-- 
cgit v1.2.3