X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGui.mli;h=d3c09a2f43cef4f9b4e348f412fa7868f9ba75a5;hb=f6b7c6ae353e014761a3d24dbc87e00d828d7f2d;hp=796c33fef4b9fb42559561d91b61422816f3ea43;hpb=42aa528129728611cae9da02904886522b08f94a;p=helm.git

diff --git a/matita/matita/matitaGui.mli b/matita/matita/matitaGui.mli
index 796c33fef..d3c09a2f4 100644
--- a/matita/matita/matitaGui.mli
+++ b/matita/matita/matitaGui.mli
@@ -43,7 +43,7 @@ val interactive_uri_choice:
   ?hide_uri_entry:bool -> ?hide_try:bool -> ?ok_label:string ->
   ?ok_action:[`AUTO|`SELECT] ->
   ?copy_cb:(string -> unit) -> unit ->
-  id:'a -> UriManager.uri list -> UriManager.uri list
+  id:'a -> NReference.reference list -> NReference.reference list
 
   (** @raise MatitaTypes.Cancel *)
 val interactive_interp_choice: