diff options
| author | Pierre-Marie Pédrot | 2018-10-04 11:18:02 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-10-04 11:18:02 +0200 |
| commit | 8a5cb2d9da73b94e1713f5ee6cba73e0680f20fb (patch) | |
| tree | b66c100bb04261b43970d630b1cbf30b552fe90a /clib/cString.mli | |
| parent | 79da82da057224eec8abaf96c20b0725f18b2945 (diff) | |
| parent | 87d5e79baea4f3679a1429d2a2e128b564eec5d5 (diff) | |
Merge PR #8626: [ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0
Diffstat (limited to 'clib/cString.mli')
| -rw-r--r-- | clib/cString.mli | 4 |
1 files changed, 0 insertions, 4 deletions
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 |