- hExtlib: added debugging information for split_nth

[helm.git] / helm / software / components / ng_kernel / oCic2NCic.ml

diff --git a/helm/software/components/ng_kernel/oCic2NCic.ml b/helm/software/components/ng_kernel/oCic2NCic.ml
index 2738b1c901835183078c7a24b0f3470475f13f02..6b78512bd6f9203f29f6405690cdca6dfb655b34 100644 (file)
--- a/helm/software/components/ng_kernel/oCic2NCic.ml
+++ b/helm/software/components/ng_kernel/oCic2NCic.ml
@@ -258,7 +258,7 @@ prerr_endline ("LEFTNO: " ^ string_of_int leftno ^ "  " ^ CicPp.ppterm arity);*)
   match CicReduction.whd context tty with
      Cic.MutInd (_,_,ens) -> ens,[]
    | Cic.Appl (Cic.MutInd (_,_,ens)::args) ->
-      ens,fst (HExtlib.split_nth leftno args)
+      ens,fst (HExtlib.split_nth "ON 1" leftno args)
    | _ -> assert false
  in
   let rec aux n irl context outsort =