X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent_pres%2FtermContentPres.ml;h=80d4d65a9cd55dc9a80f51c99cf3f67a2d9edbc2;hb=f6b7c6ae353e014761a3d24dbc87e00d828d7f2d;hp=28bcbe314a2e3db6b279160c3c56a776b7c51908;hpb=42aa528129728611cae9da02904886522b08f94a;p=helm.git

diff --git a/matita/components/content_pres/termContentPres.ml b/matita/components/content_pres/termContentPres.ml
index 28bcbe314..80d4d65a9 100644
--- a/matita/components/content_pres/termContentPres.ml
+++ b/matita/components/content_pres/termContentPres.ml
@@ -81,7 +81,7 @@ let ident_w_href href i =
   match href with
   | None -> ident i
   | Some href ->
-      let href = UriManager.string_of_uri href in
+      let href = NReference.string_of_reference href in
       add_xml_attrs [Some "xlink", "href", href] (ident i)
 
 let binder_symbol s =