X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Furimanager%2FuriManager.mli;h=86cd5c14231df1b994bc41d3706e4aa9d1a0928d;hb=a90f984e511b2c6a7623465f5dfd7956b7263705;hp=bed9db29ea43ce8f02d56e70490c75dc47b64ae4;hpb=d774aa49f50598f725ded815b87949110a6acdcf;p=helm.git

diff --git a/helm/ocaml/urimanager/uriManager.mli b/helm/ocaml/urimanager/uriManager.mli
index bed9db29e..86cd5c142 100644
--- a/helm/ocaml/urimanager/uriManager.mli
+++ b/helm/ocaml/urimanager/uriManager.mli
@@ -34,7 +34,7 @@ val uri_of_string : string -> uri
 
 val string_of_uri : uri -> string  (* complete uri *)
 val name_of_uri   : uri -> string  (* name only (without extension)*)
-val buri_of_uri   : uri -> string  (* base uri only *)
+val buri_of_uri   : uri -> string  (* base uri only, without trailing '/' *)
 
 (* given an uri, returns the uri of the corresponding cic file, *)
 (* i.e. removes the [.types][.ann] suffix                       *)