Patch to add a debugging string to HExtlib.split_nth reverted

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

diff --git a/helm/software/components/acic_content/acic2content.ml b/helm/software/components/acic_content/acic2content.ml
index 4ff411697d2ac3fb5964885002a4fab328c092cb..c8ff783c3eafab71d645e5bc13005682259a62ae 100644 (file)
--- 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