X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent%2FnotationUtil.mli;h=f7c1c0cd439625f8a4f286d37055eec552bf1a80;hb=3ce27112fe93ced5f67cc6af8fc63037eba3f322;hp=daca935876bb7509704b1bae0f5e9195786c3c23;hpb=0d2bfb98d8343b4e6cefdb506a813b7cb5749630;p=helm.git

diff --git a/matita/components/content/notationUtil.mli b/matita/components/content/notationUtil.mli
index daca93587..f7c1c0cd4 100644
--- a/matita/components/content/notationUtil.mli
+++ b/matita/components/content/notationUtil.mli
@@ -76,8 +76,7 @@ val group: NotationPt.term list -> NotationPt.term
 val ungroup: NotationPt.term list -> NotationPt.term list
 
 val find_appl_pattern_uris:
-  NotationPt.cic_appl_pattern ->
-   [`Uri of UriManager.uri | `NRef of NReference.reference] list
+  NotationPt.cic_appl_pattern -> NReference.reference list
 
 val find_branch:
   NotationPt.term -> NotationPt.term