fix small typo in docs

This commit is contained in:
Simon Cruanes 2023-05-28 21:07:29 -04:00
parent ef40581b44
commit cb6c646978
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -268,8 +268,8 @@ module File : sig
The argument is treated as part of its own directory tree, so the The argument is treated as part of its own directory tree, so the
result of [walk p] always includes [p]. result of [walk p] always includes [p].
This is similar to {!read_dir} with [recurse=True], except that {!read_dir} This is similar to {!read_dir} with [recurse=true], except that {!read_dir}
with [recurse=True] only generates file entries. with [recurse=true] only generates file entries.
@raise Sys_error in case of error (e.g. permission denied) during iteration. *) @raise Sys_error in case of error (e.g. permission denied) during iteration. *)