From 6b9636bf9b530f29358b4f6c00ffb136d8315d34 Mon Sep 17 00:00:00 2001 From: Vincent Bernardoff Date: Mon, 22 Dec 2014 15:29:33 +0100 Subject: [PATCH] CCIO: fixed doc. --- src/io/CCIO.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/io/CCIO.mli b/src/io/CCIO.mli index 272e4ac0..78180bac 100644 --- a/src/io/CCIO.mli +++ b/src/io/CCIO.mli @@ -61,7 +61,7 @@ Examples: *) -type 'a gen = unit -> 'a option (** See {!CCGen} *) +type 'a gen = unit -> 'a option (** See {!Gen} *) (** {2 Input} *) @@ -129,7 +129,7 @@ See {!File.walk} if you also need to list directories: {[ # let content = CCIO.File.walk (CCIO.File.make "/tmp");; -# CCGen.map CCIO.File.show_walk_item content |> CCIO.write_lines stdout;; +# Gen.map CCIO.File.show_walk_item content |> CCIO.write_lines stdout;; ]} *)