X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Flibrary%2FlibraryMisc.mli;h=e4d07faf74b5fb9257cee1b581d258b9597e3ca5;hb=9262517c80e17d46b9bf9931dc879ac653a633e9;hp=fc93095ebba2e5a76599544a61475bc61bb05cbb;hpb=0ac236dda6f80f6dc86a7f12d8c88b25e64e3251;p=helm.git

diff --git a/helm/ocaml/library/libraryMisc.mli b/helm/ocaml/library/libraryMisc.mli
index fc93095eb..e4d07faf7 100644
--- a/helm/ocaml/library/libraryMisc.mli
+++ b/helm/ocaml/library/libraryMisc.mli
@@ -23,5 +23,6 @@
  * http://helm.cs.unibo.it/
  *)
 
-
 val obj_file_of_baseuri: basedir:string -> baseuri:string -> string
+val lexicon_file_of_baseuri: basedir:string -> baseuri:string -> string
+val metadata_file_of_baseuri: basedir:string -> baseuri:string -> string