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

[helm.git] / helm / software / lambda-delta / src / automath / autCrg.ml

diff --git a/helm/software/lambda-delta/src/automath/autCrg.ml b/helm/software/lambda-delta/src/automath/autCrg.ml
index bba3fc26578c50329d1685a8caac32549cb3b93c..548e1ec73ad7094f60d9455d3cf960ab5ae75db1 100644 (file)
--- 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