X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2FdependenciesParser.mli;h=57529966b9bd5e84c6658e51c52081a1490b4594;hb=16f2f9f9915f483089fd0f532e25ff51e2252bac;hp=882d45fb8ecaaad0ee31911e8c42133c8ddfa4d5;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/grafite_parser/dependenciesParser.mli b/helm/software/components/grafite_parser/dependenciesParser.mli
index 882d45fb8..57529966b 100644
--- a/helm/software/components/grafite_parser/dependenciesParser.mli
+++ b/helm/software/components/grafite_parser/dependenciesParser.mli
@@ -28,12 +28,9 @@ exception UnableToInclude of string
   (* statements meaningful for matitadep *)
 type dependency =
   | IncludeDep of string
-  | BaseuriDep of string
   | UriDep of UriManager.uri
+  | InlineDep of string
 
 val pp_dependency: dependency -> string
 
-  (** @raise End_of_file *)
-val parse_dependencies: Ulexing.lexbuf -> dependency list
-
-val baseuri_of_script : include_paths:string list -> string -> string
+val deps_of_file: string -> dependency list