update in binaries for λδ

[helm.git] / matita / components / content / notationUtil.mli

diff --git a/matita/components/content/notationUtil.mli b/matita/components/content/notationUtil.mli
index f7c1c0cd439625f8a4f286d37055eec552bf1a80..ac291a2cebc72156afa5ffb44c54380a4a158832 100644 (file)
--- a/matita/components/content/notationUtil.mli
+++ b/matita/components/content/notationUtil.mli
@@ -92,3 +92,7 @@ type notation_id
 
 val fresh_id: unit -> notation_id
 
+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