From fe0169f0b65c4422d449959ab07417e4ea51ae76 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 27 Sep 2015 18:20:46 +0200 Subject: [PATCH] doc --- src/core/CCIO.mli | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/core/CCIO.mli b/src/core/CCIO.mli index e1c0d6e8..44e8e257 100644 --- a/src/core/CCIO.mli +++ b/src/core/CCIO.mli @@ -152,7 +152,8 @@ See {!File.walk} if you also need to list directories: module File : sig type 'a or_error = [`Ok of 'a | `Error of string] type t = string - (** A file is always represented by its absolute path *) + (** A file should be represented by its absolute path, but currently + this is not enforced. *) val to_string : t -> string