X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FlibraryMisc.mli;h=2c6bfd193356a20ba119b025a752853cadcab363;hb=130208dc6a3bab34a7ed246afdee76ffc6f6b00a;hp=d834dbd1ad1b55280f876a47cdc6ae4a84c1ce17;hpb=4e238c92f66aedf21c2d3a33aa5215cdf0a7189f;p=helm.git

diff --git a/helm/software/components/library/libraryMisc.mli b/helm/software/components/library/libraryMisc.mli
index d834dbd1a..2c6bfd193 100644
--- a/helm/software/components/library/libraryMisc.mli
+++ b/helm/software/components/library/libraryMisc.mli
@@ -23,9 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* only for local uris *)
 val obj_file_of_baseuri: 
   must_exist:bool -> writable:bool -> baseuri:string -> string
 val lexicon_file_of_baseuri: 
   must_exist:bool -> writable:bool -> baseuri:string -> string
-val metadata_file_of_baseuri: 
-  must_exist:bool -> writable:bool -> baseuri:string -> string