Merge PR #8958: [clib] Remove unneeded `get_extension` function.

1 files changed, 0 insertions, 4 deletions

diff --git a/clib/cUnix.ml b/clib/cUnix.ml
index 6b42e3041d..eedd878f93 100644
--- a/clib/cUnix.ml
+++ b/clib/cUnix.ml
@@ -74,10 +74,6 @@ let canonical_path_name p =
 let make_suffix name suffix =
   if Filename.check_suffix name suffix then name else (name ^ suffix)
 
-let get_extension f =
-  let pos = try String.rindex f '.' with Not_found -> String.length f in
-  String.sub f pos (String.length f - pos)
-
 let correct_path f dir =
   if Filename.is_relative f then Filename.concat dir f else f