diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-03-31 19:24:10 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-03-31 19:24:10 +0200 |
| commit | 43a0a3147073b12b038c55c27fd6f0adcb900ac9 (patch) | |
| tree | 778395fcb43d6d33fbc9fa0062c0ad3d03bf42e2 /library/loadpath.mli | |
| parent | 7f4cb6a3a83b571f5af12bb69255d4b492ef8311 (diff) | |
Removing the unused root flag from loadpaths.
Diffstat (limited to 'library/loadpath.mli')
| -rw-r--r-- | library/loadpath.mli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/library/loadpath.mli b/library/loadpath.mli index d4029303d..ae54b3183 100644 --- a/library/loadpath.mli +++ b/library/loadpath.mli @@ -30,8 +30,8 @@ val get_load_paths : unit -> t list 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 -> root:bool -> implicit:bool -> unit -(** [add_load_path phys type log] adds the binding [phys := log] to the current +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. *) val remove_load_path : CUnix.physical_path -> unit @@ -47,7 +47,7 @@ val is_in_load_paths : CUnix.physical_path -> bool val expand_path : DirPath.t -> (CUnix.physical_path * DirPath.t) list (** Given a relative logical path, associate the list of absolute physical and - logical paths which are possible expansions of it. *) + logical paths which are possible matches of it. *) val expand_root_path : DirPath.t -> CUnix.physical_path list -(** As [expand_path] but restricts to root loadpaths. *) +(** As [expand_path] but ignores the implicit status. *) |