From b248c23b84a96ef692e4a3ded6668733820e1a77 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Wed, 30 Sep 2015 06:52:01 +0200
Subject: Unexport Loadpath.get_paths.

---
 library/loadpath.mli | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'library/loadpath.mli')

diff --git a/library/loadpath.mli b/library/loadpath.mli
index c2c689af7..269e28e0b 100644
--- a/library/loadpath.mli
+++ b/library/loadpath.mli
@@ -27,9 +27,6 @@ val logical : t -> DirPath.t
 val get_load_paths : unit -> t list
 (** Get the current loadpath association. *)
 
-val get_paths : unit -> CUnix.physical_path list
-(** Same as [get_load_paths] but only get the physical part. *)
-
 val add_load_path : CUnix.physical_path -> DirPath.t -> implicit:bool -> unit
 (** [add_load_path phys log type] adds the binding [phys := log] to the current
     loadpaths. *)
-- 
cgit v1.2.3