X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent%2FnotationUtil.mli;h=ac291a2cebc72156afa5ffb44c54380a4a158832;hb=13b3c950f6714032a3c027b7b6ebbd2e3065cbfe;hp=f1c96c5364a27c574b70822cd55fa7171925f324;hpb=1caab3250f877ebff8fefc99dd7f5e7fd0596795;p=helm.git

diff --git a/matita/components/content/notationUtil.mli b/matita/components/content/notationUtil.mli
index f1c96c536..ac291a2ce 100644
--- a/matita/components/content/notationUtil.mli
+++ b/matita/components/content/notationUtil.mli
@@ -92,4 +92,7 @@ type notation_id
 
 val fresh_id: unit -> notation_id
 
-val refresh_uri_in_term: NotationPt.term -> NotationPt.term
+val refresh_uri_in_term:
+ refresh_uri_in_term:(NCic.term -> NCic.term) ->
+ refresh_uri_in_reference:(NReference.reference -> NReference.reference) ->
+  NotationPt.term -> NotationPt.term