diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-12-22 14:10:31 +0100 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-12-22 14:10:31 +0100 |
commit | d55676344c8dc0d9a87b2ef12ec2348281db4bf5 (patch) | |
tree | cce2b3c479ec4f9498e246b05c4b02a353fe5588 /library/loadpath.mli | |
parent | afb9c9a65097dd901df18c443ca13ad4bf394985 (diff) |
Move the From logic to Loadpath.expand_path.
Diffstat (limited to 'library/loadpath.mli')
-rw-r--r-- | library/loadpath.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/loadpath.mli b/library/loadpath.mli index 269e28e0b..732f6349f 100644 --- a/library/loadpath.mli +++ b/library/loadpath.mli @@ -42,7 +42,7 @@ val find_load_path : CUnix.physical_path -> t val is_in_load_paths : CUnix.physical_path -> bool (** Whether a physical path is currently bound. *) -val expand_path : DirPath.t -> (CUnix.physical_path * DirPath.t) list +val expand_path : ?root:DirPath.t -> 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 matches of it. *) |