X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2FtermAcicContent.ml;h=ee7ed08d0eb37ac23b8cf204cc7823b0949aaf69;hb=2b837ca9e298eb44eee95d9ca0e331c577785dcb;hp=fb890915298b5bb70846c1cc01e1337e56c3ba5f;hpb=68dbcd02022874a025a9444aa1125b0458816fbb;p=helm.git

diff --git a/helm/software/components/acic_content/termAcicContent.ml b/helm/software/components/acic_content/termAcicContent.ml
index fb8909152..ee7ed08d0 100644
--- 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)