Huge reorganization of matita and ocaml.

[helm.git] / helm / ocaml / library / libraryMisc.mli

diff --git a/helm/ocaml/library/libraryMisc.mli b/helm/ocaml/library/libraryMisc.mli
index 03a4742c5796125f1210e0076144633a929a8278..e4d07faf74b5fb9257cee1b581d258b9597e3ca5 100644 (file)
--- a/helm/ocaml/library/libraryMisc.mli
+++ b/helm/ocaml/library/libraryMisc.mli
@@ -24,5 +24,5 @@
  *)
 
 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
-