- hExtlib: added debugging information for split_nth

[helm.git] / helm / software / components / content_pres / content2pres.ml

diff --git a/helm/software/components/content_pres/content2pres.ml b/helm/software/components/content_pres/content2pres.ml
index fc3a47b5e1c564fb168e1fcba94b09ccd40fa86e..4d5ec86f5aff02446e9d0b6d44c6278b48991039 100644 (file)
--- a/helm/software/components/content_pres/content2pres.ml
+++ b/helm/software/components/content_pres/content2pres.ml
@@ -183,7 +183,7 @@ and proof2pres ?skip_initial_lambdas is_top_down term2pres p =
         in
         context2pres 
          (match skip_initial_lambdas_internal with
-             Some (`Now n) -> snd (HExtlib.split_nth n p.Con.proof_context)
+             Some (`Now n) -> snd (HExtlib.split_nth "CP 1" n p.Con.proof_context)
            | _ -> p.Con.proof_context)
           presacontext
     in