- hExtlib: added debugging information for split_nth

[helm.git] / helm / software / components / acic_content / termAcicContent.ml

diff --git a/helm/software/components/acic_content/termAcicContent.ml b/helm/software/components/acic_content/termAcicContent.ml
index fb890915298b5bb70846c1cc01e1337e56c3ba5f..ee7ed08d0eb37ac23b8cf204cc7823b0949aaf69 100644 (file)
--- a/helm/software/components/acic_content/termAcicContent.ml
+++ b/helm/software/components/acic_content/termAcicContent.ml
@@ -151,7 +151,7 @@ let ast_of_acic0 ~output_type term_info acic k =
              | Some (_,_,_,sats,cpos) -> 
                  if cpos < List.length tl then
                    let _,rest = 
-                     try HExtlib.split_nth (cpos+sats+1) tl with Failure _ -> [],[] 
+                     try HExtlib.split_nth "TAC 1" (cpos+sats+1) tl with Failure _ -> [],[] 
                    in
                    if rest = [] then
                      idref aid (List.nth (List.map k tl) cpos)