master
Nicolás Ojeda Bär 2020-06-14 18:37:44 +02:00 committed by GitHub
parent 400fe3f3a2
commit 13155d81ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -75,7 +75,7 @@ Process \var{file} as a ".ml" file.
Process \var{file} as a ".mli" file.
\item["-map" \var{file}]
Read an propagate the delayed dependencies for module aliases in
Read and propagate the delayed dependencies for module aliases in
\var{file}, so that the following files will depend on the
exported aliased modules if they use them. See the example below.