Patch to add a debugging string to HExtlib.split_nth reverted

[helm.git] / helm / software / components / extlib / hExtlib.mli

diff --git a/helm/software/components/extlib/hExtlib.mli b/helm/software/components/extlib/hExtlib.mli
index 52e2fbf6078a9bf26bfbb3c4b56347b577fc7512..20e6c0192dcac84defb6613cb87ae31aca216c58 100644 (file)
--- a/helm/software/components/extlib/hExtlib.mli
+++ b/helm/software/components/extlib/hExtlib.mli
@@ -111,8 +111,7 @@ exception FailureAt of int
    * @returns two list, the first contains at least n elements, the second the
    * remaining ones
    * @raise Failure when List.length l < n *)
-(* FG: first argument: error msg *)
-val split_nth: string -> int -> 'a list -> 'a list * 'a list
+val split_nth: int -> 'a list -> 'a list * 'a list
 
  (** skip [n] [l] skips the first n elements of l *)
 val list_skip : int -> 'a list -> 'a list