X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaScript.mli;h=df3ec4e1e358a840b62096f9420f457d0713d3c1;hb=acf29bdbdcdc6ad8c2d9d27e8a47500981b605cd;hp=f7c86fc3c3298a0a79bf9f57edbe89e6be2853da;hpb=3b5b254f2faa600a14a837e95f94f953dc9959c7;p=helm.git

diff --git a/helm/matita/matitaScript.mli b/helm/matita/matitaScript.mli
index f7c86fc3c..df3ec4e1e 100644
--- a/helm/matita/matitaScript.mli
+++ b/helm/matita/matitaScript.mli
@@ -65,6 +65,7 @@ val script:
   buffer:GText.buffer -> 
   init:MatitaTypes.status -> 
   mathviewer: MatitaTypes.mathViewer-> 
+  urichooser: (string list -> string list) -> 
   unit -> 
     script