X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgrafite_parser%2FdependenciesParser.mli;h=1b4a03a713815643b69ae4bb861acbb0697ab145;hb=35a06fa8d6c2664301b59e77dcbff5bcfd4a5091;hp=5445a51ba051c64e5a4beaf7e29a5cb9c70b5072;hpb=209184c83f7d290ceb43605598e09074b57d36f4;p=helm.git

diff --git a/components/grafite_parser/dependenciesParser.mli b/components/grafite_parser/dependenciesParser.mli
index 5445a51ba..1b4a03a71 100644
--- a/components/grafite_parser/dependenciesParser.mli
+++ b/components/grafite_parser/dependenciesParser.mli
@@ -28,10 +28,8 @@ exception UnableToInclude of string
   (* statements meaningful for matitadep *)
 type dependency =
   | IncludeDep of string
-  | BaseuriDep of string
   | UriDep of UriManager.uri
 
 val pp_dependency: dependency -> string
 
-  (** @raise End_of_file *)
-val parse_dependencies: Ulexing.lexbuf -> dependency list
+val deps_of_file: string -> dependency list