X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fautomath%2FautCrg.ml;h=548e1ec73ad7094f60d9455d3cf960ab5ae75db1;hb=fa5cd121c672589afc0ac8ddd5d184897a38c7c6;hp=bba3fc26578c50329d1685a8caac32549cb3b93c;hpb=5280ec9794de75e63ffc01bddf1756ebcca02be0;p=helm.git

diff --git a/helm/software/lambda-delta/src/automath/autCrg.ml b/helm/software/lambda-delta/src/automath/autCrg.ml
index bba3fc265..548e1ec73 100644
--- a/helm/software/lambda-delta/src/automath/autCrg.ml
+++ b/helm/software/lambda-delta/src/automath/autCrg.ml
@@ -217,7 +217,7 @@ let xlate_entity err f st = function
 	    print_newline (); CrgOutput.pp_term print_string t;
 *)
 	          let b = E.Abbr t in
-	          let a = E.Mark st.line :: if trans then [] else [E.Priv] in
+	          let a = E.Mark st.line :: if trans then [] else [E.Meta [E.Private]] in
 	          let entity = a, uri_of_qid qid, b in
 	          f {st with line = succ st.line} entity
 	       in