Remove some unused functions.

Note: they do not even seem to have a debugging purpose, so better remove
them before they bitrot.

1 files changed, 0 insertions, 4 deletions

diff --git a/library/loadpath.ml b/library/loadpath.ml
index 16b4194544..f77bd1ef53 100644
--- a/library/loadpath.ml
+++ b/library/loadpath.ml
@@ -84,10 +84,6 @@ let add_load_path phys_path coq_path ~implicit =
       end
   | _ -> anomaly_too_many_paths phys_path
 
-let extend_path_with_dirpath p dir =
-  List.fold_left Filename.concat p
-    (List.rev_map Id.to_string (DirPath.repr dir))
-
 let filter_path f =
   let rec aux = function
   | [] -> []