X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fgrafite2%2FgrafiteMisc.mli;h=833bb6360de768d0c05f35f19cac7c2209d9dd31;hb=059c1bb4766e823aa53b39fed7d3dd55b4a06101;hp=8cc384abcd0d38abf3d40691d024cda17f9ae823;hpb=a58d25c192ff13ecee2cb92f07ee6f1cbe5219b5;p=helm.git

diff --git a/helm/ocaml/grafite2/grafiteMisc.mli b/helm/ocaml/grafite2/grafiteMisc.mli
index 8cc384abc..833bb6360 100644
--- a/helm/ocaml/grafite2/grafiteMisc.mli
+++ b/helm/ocaml/grafite2/grafiteMisc.mli
@@ -23,13 +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