X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent_pres%2FcicNotationPres.ml;h=5f9f202caeaf09b8d7b299444018106abe8a6062;hb=f6b7c6ae353e014761a3d24dbc87e00d828d7f2d;hp=26370ff228db5d68cebe2a4a59f919cc04f16ec8;hpb=42aa528129728611cae9da02904886522b08f94a;p=helm.git

diff --git a/matita/components/content_pres/cicNotationPres.ml b/matita/components/content_pres/cicNotationPres.ml
index 26370ff22..5f9f202ca 100644
--- a/matita/components/content_pres/cicNotationPres.ml
+++ b/matita/components/content_pres/cicNotationPres.ml
@@ -203,7 +203,7 @@ let add_parens child_prec curr_prec t =
 let lookup_uri ids_to_uris id =
  try
    let uri = Hashtbl.find ids_to_uris id in
-   Some (UriManager.string_of_uri uri)
+   Some (NReference.string_of_reference uri)
  with Not_found -> None
 ;;