urimanager removed

[helm.git] / matita / components / getter / http_getter.mli

diff --git a/matita/components/getter/http_getter.mli b/matita/components/getter/http_getter.mli
index 5cf5cd38ebf3b9f6e44447d5e0323a81dd4aefaf..3b8ebb9cb2b1bd8ddac5fb07b689313dd704fa88 100644 (file)
--- 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} *)