- ld-html-root: ported to permanent lambda-delta url

[helm.git] / helm / software / lambda-delta / src / complete_rg / crgOutput.ml

diff --git a/helm/software/lambda-delta/src/complete_rg/crgOutput.ml b/helm/software/lambda-delta/src/complete_rg/crgOutput.ml
index 5d2faf90002ca3b631e7643170b35ef289a38790..072073c18538793318798c13c08923db68b9e904 100644 (file)
--- 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