summaryrefslogtreecommitdiff
path: root/toplevel/topdirs.ml
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2021-06-07 20:39:55 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2021-06-07 20:39:55 +0100
commit3d52bcad845b5a5c33bf8126bafb13b36c1e6ce9 (patch)
treefe219db8d91dd6082fa0edd063f56f2e5b761a03 /toplevel/topdirs.ml
parenta74166968190776d86d7adca0aeff9bbf6a9e9a4 (diff)
downloadocaml-3d52bcad845b5a5c33bf8126bafb13b36c1e6ce9.tar.gz
Rename Load_path.add to Load_path.append_dir
Clarify the meaning of where the directory gets added (cf. Dll.add_path which adds directories at the start of the search path)
Diffstat (limited to 'toplevel/topdirs.ml')
-rw-r--r--toplevel/topdirs.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml
index e32a6d6b2f..72f87164f7 100644
--- a/toplevel/topdirs.ml
+++ b/toplevel/topdirs.ml
@@ -77,7 +77,7 @@ let dir_directory s =
let d = expand_directory Config.standard_library s in
Dll.add_path [d];
let dir = Load_path.Dir.create d in
- Load_path.add dir;
+ Load_path.append_dir dir;
toplevel_env :=
Stdlib.String.Set.fold
(fun name env ->