]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 Sep 2008 13:28:49 +0000 (13:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 30 Sep 2008 13:28:49 +0000 (13:28 +0000)
helm/software/components/extlib/hExtlib.mli

index a92389feab9512be90bafaccc9cb2b84b51edc68..c80d2e4f85f2a5b3bc2a33b009be934eeecd4a38 100644 (file)
@@ -104,7 +104,7 @@ val list_forall_default3: ('a -> 'b -> 'c -> bool) -> 'a list -> 'b list -> 'c -
 
   (** split_nth n l
    * @returns two list, the first contains at least n elements, the second the
-   * remaining one
+   * remaining ones
    * @raise Failure when List.length l < n *)
 val split_nth: int -> 'a list -> 'a list * 'a list