Huge commit for the release. Includes:

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

diff --git a/components/library/libraryMisc.mli b/components/library/libraryMisc.mli
index e4d07faf74b5fb9257cee1b581d258b9597e3ca5..08ac4638d3ff2b4f94be8fa610098bb7895c6f8f 100644 (file)
--- a/components/library/libraryMisc.mli
+++ b/components/library/libraryMisc.mli
@@ -23,6 +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
+val obj_file_of_baseuri: writable:bool -> baseuri:string -> string
+val lexicon_file_of_baseuri: writable:bool -> baseuri:string -> string
+val metadata_file_of_baseuri: writable:bool -> baseuri:string -> string