Minor code clean-up to simplify module dependencies.

[helm.git] / matita / components / content_pres / cicNotationPres.mli

diff --git a/matita/components/content_pres/cicNotationPres.mli b/matita/components/content_pres/cicNotationPres.mli
index ce8ee1ca6b10dfcc5640ba3396090db46915c16e..a558da86622ee92cf62b1928834efbd63b4b157c 100644 (file)
--- a/matita/components/content_pres/cicNotationPres.mli
+++ b/matita/components/content_pres/cicNotationPres.mli
@@ -35,14 +35,11 @@ val box_of_mpres: mathml_markup -> boxml_markup
 
 (** {2 Rendering} *)
 
-val lookup_uri: (Interpretations.cic_id,NReference.reference) Hashtbl.t ->
-  Interpretations.cic_id -> string option
-
 (** level 1 -> level 0
  * @param ids_to_uris mapping id -> uri for hyperlinking
  * @param prec precedence level *)
 val render:
- lookup_uri:(Interpretations.cic_id -> string option) -> ?prec:int -> NotationPt.term ->
+ lookup_uri:(Content.id -> string option) -> ?prec:int -> NotationPt.term ->
   markup
 
 (** level 0 -> xml stream *)