diff options
Diffstat (limited to 'clib/cList.mli')
| -rw-r--r-- | clib/cList.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clib/cList.mli b/clib/cList.mli index 9125c3b68b..d294088dc9 100644 --- a/clib/cList.mli +++ b/clib/cList.mli @@ -45,7 +45,7 @@ sig (** {6 Creating lists} *) val interval : int -> int -> int list - (** [interval i j] creates the list [[i; i + 1; ...; j]], or [[]] when + (** [interval i j] creates the list [[i; i + 1; ...; j]], or [[]] when [j <= i]. *) val make : int -> 'a -> 'a list |