X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fcic_proof_checking%2FcicPp.ml;h=feca7c3cfe07951bfd32d42ff29e74f0391e976f;hb=d343c00b65aab7021e7e9a53bd52cd9b80d2c079;hp=e44c6b5881be2f47d260c66c6ed91142416ffd7a;hpb=ccefabf0d9542a7788e89e7115e3037e1d32a9b9;p=helm.git

diff --git a/components/cic_proof_checking/cicPp.ml b/components/cic_proof_checking/cicPp.ml
index e44c6b588..feca7c3cf 100644
--- a/components/cic_proof_checking/cicPp.ml
+++ b/components/cic_proof_checking/cicPp.ml
@@ -80,8 +80,10 @@ let rec pp t l =
        UriManager.string_of_uri (*UriManager.name_of_uri*) uri ^ pp_exp_named_subst exp_named_subst l
     | C.Meta (n,l1) ->
        "?" ^ (string_of_int n) ^ "[" ^ 
+(*
         String.concat " ; "
          (List.rev_map (function None -> "_" | Some t -> pp t l) l1) ^
+*)
         "]"
     | C.Sort s ->
        (match s with