diff --git a/src/stdune/path.ml b/src/stdune/path.ml index 96961419..da114a6b 100644 --- a/src/stdune/path.ml +++ b/src/stdune/path.ml @@ -502,12 +502,3 @@ let extension = Filename.extension let pp ppf t = Format.pp_print_string ppf (to_string t) -let drop_prefix t ~prefix = - let t = to_string t in - let prefix = - to_string ( - if String.is_suffix prefix ~suffix:"/" then - prefix - else - prefix ^ "/") in - String.drop_prefix t ~prefix diff --git a/src/stdune/path.mli b/src/stdune/path.mli index b6c6e6fd..d9db2bbd 100644 --- a/src/stdune/path.mli +++ b/src/stdune/path.mli @@ -137,14 +137,6 @@ val change_extension : ext:string -> t -> t val extension : t -> string -(** maintains the invariant: - {[ - let suffix = Option.value_exn (Path.drop_prefix t ~prefix) in - Path.relative prefix suffix = t - ]} -*) -val drop_prefix : t -> prefix:t -> string option - val pp : Format.formatter -> t -> unit val build_dir_exists : unit -> bool