From a8a3aeb49f3627a65c86c92b0ed743f7bfcf9ffb Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Fri, 9 Nov 2018 13:01:53 +0100 Subject: [clib] Remove unneeded `get_extension` function. This has been in OCaml since 4.04. --- clib/cUnix.mli | 4 ---- 1 file changed, 4 deletions(-) (limited to 'clib/cUnix.mli') diff --git a/clib/cUnix.mli b/clib/cUnix.mli index 1b185345be..896ccd4ea7 100644 --- a/clib/cUnix.mli +++ b/clib/cUnix.mli @@ -38,10 +38,6 @@ val path_to_list : string -> string list [file] does not already end with [suf]. *) val make_suffix : string -> string -> string -(** Return the extension of a file, i.e. its smaller suffix starting - with "." if any, or "" otherwise. *) -val get_extension : string -> string - val file_readable_p : string -> bool (** {6 Executing commands } *) -- cgit v1.2.3