- hExtlib: added debugging information for split_nth

[helm.git] / helm / software / components / tactics / closeCoercionGraph.ml

diff --git a/helm/software/components/tactics/closeCoercionGraph.ml b/helm/software/components/tactics/closeCoercionGraph.ml
index 2c67c95ee2a333154b80bce2ac3cc3760b783548..07308b4077fddd603a1f3088e9240c6b2ca2eeb7 100644 (file)
--- a/helm/software/components/tactics/closeCoercionGraph.ml
+++ b/helm/software/components/tactics/closeCoercionGraph.ml
@@ -199,7 +199,7 @@ let generate_composite' (c1,sat1,arity1) (c2,sat2,arity2) context metasenv univ=
     let l_c2 = skip_appl (purge_lambdas term) in
     let l_c2_b,l_c2_a =
      try
-      HExtlib.split_nth (c2_pis - sat2 - 1) l_c2
+      HExtlib.split_nth "CCG 1" (c2_pis - sat2 - 1) l_c2
      with
       Failure _ -> assert false in
     let l_c1,l_c2_a =