From cb6c646978d5e38c71cacbffd1987138c83e2b20 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 28 May 2023 21:07:29 -0400 Subject: [PATCH] fix small typo in docs --- src/core/CCIO.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/CCIO.mli b/src/core/CCIO.mli index 14987928..3d47896c 100644 --- a/src/core/CCIO.mli +++ b/src/core/CCIO.mli @@ -268,8 +268,8 @@ module File : sig The argument is treated as part of its own directory tree, so the result of [walk p] always includes [p]. - This is similar to {!read_dir} with [recurse=True], except that {!read_dir} - with [recurse=True] only generates file entries. + This is similar to {!read_dir} with [recurse=true], except that {!read_dir} + with [recurse=true] only generates file entries. @raise Sys_error in case of error (e.g. permission denied) during iteration. *)