X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgetter%2Fhttp_getter.mli;h=3b8ebb9cb2b1bd8ddac5fb07b689313dd704fa88;hb=f6b7c6ae353e014761a3d24dbc87e00d828d7f2d;hp=5cf5cd38ebf3b9f6e44447d5e0323a81dd4aefaf;hpb=42aa528129728611cae9da02904886522b08f94a;p=helm.git

diff --git a/matita/components/getter/http_getter.mli b/matita/components/getter/http_getter.mli
index 5cf5cd38e..3b8ebb9cb 100644
--- a/matita/components/getter/http_getter.mli
+++ b/matita/components/getter/http_getter.mli
@@ -60,10 +60,10 @@ val ls: local:bool -> string -> ls_item list
 
   (** {2 UriManager shorthands} *)
 
-val getxml'     : UriManager.uri -> string
-val resolve'    : local:bool -> writable:bool -> UriManager.uri -> string
-val exists'     : local:bool -> UriManager.uri -> bool
-val filename'     : local:bool -> writable:bool -> UriManager.uri -> string
+val getxml'     : NUri.uri -> string
+val resolve'    : local:bool -> writable:bool -> NUri.uri -> string
+val exists'     : local:bool -> NUri.uri -> bool
+val filename'     : local:bool -> writable:bool -> NUri.uri -> string
 
   (** {2 Misc} *)