diff options
author | David Allsopp <david.allsopp@metastack.com> | 2021-06-07 20:39:55 +0100 |
---|---|---|
committer | David Allsopp <david.allsopp@metastack.com> | 2021-06-07 20:39:55 +0100 |
commit | 3d52bcad845b5a5c33bf8126bafb13b36c1e6ce9 (patch) | |
tree | fe219db8d91dd6082fa0edd063f56f2e5b761a03 /toplevel/topdirs.ml | |
parent | a74166968190776d86d7adca0aeff9bbf6a9e9a4 (diff) | |
download | ocaml-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.ml | 2 |
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 -> |