X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicPp.ml;h=effc8a4b58b7450bf71100ea62dc8fc1d97f7610;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;hp=7a1de4a7fd06919c7771386bd6f74942fad45225;hpb=961cb1ed5a03de9083a82d613cd0176234d9bcc6;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicPp.ml b/helm/ocaml/cic_proof_checking/cicPp.ml
index 7a1de4a7f..effc8a4b5 100644
--- a/helm/ocaml/cic_proof_checking/cicPp.ml
+++ b/helm/ocaml/cic_proof_checking/cicPp.ml
@@ -311,6 +311,10 @@ let check_name ctx name term =
 	  let string_name = check_aux ctx string_name so in
 	  check_aux (name::ctx) string_name dest
       | Cic.Lambda (name,so,dest) -> 
+          let string_name =
+           match name with
+              Cic.Anonymous -> string_name
+            | Cic.Name name -> cut_off_name name string_name in
           let string_name = check_aux ctx string_name so in
 	  check_aux (name::ctx) string_name dest
       | Cic.LetIn (name,so,dest) ->