X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgrafite_parser%2FdependenciesParser.mli;h=6a8d2ae212bbfb17495fc0af3be6ce82cfe2c275;hb=ff074375003b7b0e3d38e2742ff1d6098a0dab57;hp=882d45fb8ecaaad0ee31911e8c42133c8ddfa4d5;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/grafite_parser/dependenciesParser.mli b/components/grafite_parser/dependenciesParser.mli
index 882d45fb8..6a8d2ae21 100644
--- a/components/grafite_parser/dependenciesParser.mli
+++ b/components/grafite_parser/dependenciesParser.mli
@@ -36,4 +36,5 @@ 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
+(* returns baseuri and the full path of the script *)
+val baseuri_of_script : include_paths:string list -> string -> string * string