X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fcomplete_rg%2FcrgOutput.ml;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fcomplete_rg%2FcrgOutput.ml;h=072073c18538793318798c13c08923db68b9e904;hb=fa5cd121c672589afc0ac8ddd5d184897a38c7c6;hp=5d2faf90002ca3b631e7643170b35ef289a38790;hpb=5280ec9794de75e63ffc01bddf1756ebcca02be0;p=helm.git

diff --git a/helm/software/lambda-delta/src/complete_rg/crgOutput.ml b/helm/software/lambda-delta/src/complete_rg/crgOutput.ml
index 5d2faf900..072073c18 100644
--- a/helm/software/lambda-delta/src/complete_rg/crgOutput.ml
+++ b/helm/software/lambda-delta/src/complete_rg/crgOutput.ml
@@ -142,8 +142,8 @@ let pp_attrs out a =
       | E.Name (s, false) -> out (P.sprintf "~%s;" s)
       | E.Apix i          -> out (P.sprintf "+%i;" i)
       | E.Mark i          -> out (P.sprintf "@%i;" i)
-      | E.Meta s          -> out (P.sprintf "\"%s\";" s)
-      | E.Priv            -> out (P.sprintf "%s;" "~")
+      | E.Meta _          -> ()
+      | E.Info _          -> ()
    in
    List.iter map a