many strings that are supposed to be URIs are now UriManager.uri

[helm.git] / helm / matita / matitaScript.mli

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