X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2Facic2content.ml;h=c8ff783c3eafab71d645e5bc13005682259a62ae;hb=1b70a1f66be53f76e475383e86d63c2b5c1fbcaa;hp=4ff411697d2ac3fb5964885002a4fab328c092cb;hpb=f49690e1d1b39ccad40f1e874d9d19f6ffc289e0;p=helm.git

diff --git a/helm/software/components/acic_content/acic2content.ml b/helm/software/components/acic_content/acic2content.ml
index 4ff411697..c8ff783c3 100644
--- a/helm/software/components/acic_content/acic2content.ml
+++ b/helm/software/components/acic_content/acic2content.ml
@@ -900,7 +900,7 @@ and coercion seed context metasenv id li ~ids_to_inner_types ~ids_to_inner_sorts
         in
         let x = List.nth tl cpos in
         let _,rest = 
-          try HExtlib.split_nth "AC 1" (cpos + sats +1) tl with Failure _ -> [],[] 
+          try HExtlib.split_nth (cpos + sats +1) tl with Failure _ -> [],[] 
         in
         if rest = [] then
          acic2content