X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgrafite2%2FgrafiteMisc.mli;h=833bb6360de768d0c05f35f19cac7c2209d9dd31;hb=a423d321a98c6f31dab56505fe7acf0110df38e8;hp=9f1486b0b3ce8cedfe616c5e5f8442ed1ee7fbb9;hpb=dbb9f64a437b4abda0b9f47a527ab6135d596e28;p=helm.git

diff --git a/helm/ocaml/grafite2/grafiteMisc.mli b/helm/ocaml/grafite2/grafiteMisc.mli
index 9f1486b0b..833bb6360 100644
--- a/helm/ocaml/grafite2/grafiteMisc.mli
+++ b/helm/ocaml/grafite2/grafiteMisc.mli
@@ -23,14 +23,5 @@
  * http://helm.cs.unibo.it/
  *)
 
-val baseuri_of_baseuri_decl :
- ('term, 'lazy_term, 'reduction, 'obj, 'ident) GrafiteAst.statement ->
-  string option
-
   (** check whether no objects are defined below a given baseuri *)
 val is_empty: string -> bool
-
-val baseuri_of_file : string -> string
-
-val obj_file_of_script : basedir:string -> string -> string
-val metadata_file_of_script : basedir:string -> string -> string