X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPres.ml;h=633d702a90c554c3acc6bf02a6802658579ac66c;hb=5c9e1997848c2f74297a5a243679f4bcb6ae0dc7;hp=60ee0dfb382f747c44c571e22030aec0fbd2c4d7;hpb=3e8363bec852afb37160d8144db8d94bbff447d6;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationPres.ml b/helm/ocaml/cic_notation/cicNotationPres.ml
index 60ee0dfb3..633d702a9 100644
--- a/helm/ocaml/cic_notation/cicNotationPres.ml
+++ b/helm/ocaml/cic_notation/cicNotationPres.ml
@@ -245,7 +245,7 @@ let render ids_to_uris =
     | A.Uri (literal, subst) ->
         let attrs =
           (RenderingAttrs.ident_attributes `MathML)
-          @ make_href xmlattrs xref (ref [])
+          @ make_href xmlattrs xref uris
         in
         let name = Mpres.Mi (attrs, to_unicode literal) in
         (match subst with