X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaScript.mli;h=50bc17eda08991223f1b74d108c21218c3e9040f;hb=70aa6dc959dc1d49f751c183367c3b73393c938b;hp=85c4e767a862b95f60627a95f408450c2e249c7d;hpb=0fde70bd19b8fdfa72b807b9713a02ad1bd91b5b;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) ->