X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaScript.mli;h=50bc17eda08991223f1b74d108c21218c3e9040f;hb=f6b7c6ae353e014761a3d24dbc87e00d828d7f2d;hp=85c4e767a862b95f60627a95f408450c2e249c7d;hpb=42aa528129728611cae9da02904886522b08f94a;p=helm.git

diff --git a/matita/matita/matitaScript.mli b/matita/matita/matitaScript.mli
index 85c4e767a..50bc17eda 100644
--- a/matita/matita/matitaScript.mli
+++ b/matita/matita/matitaScript.mli
@@ -86,7 +86,7 @@ end
 val script: 
   source_view:GSourceView2.source_view -> 
   mathviewer: MatitaTypes.mathViewer-> 
-  urichooser: (UriManager.uri list -> UriManager.uri list) -> 
+  urichooser: (NReference.reference list -> NReference.reference list) -> 
   ask_confirmation: 
     (title:string -> message:string -> [`YES | `NO | `CANCEL]) -> 
   set_star: (bool -> unit) ->