X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2FdependenciesParser.mli;h=6a8d2ae212bbfb17495fc0af3be6ce82cfe2c275;hb=7b29f50ea116524e4bc91b762b81fd5ae927c4ea;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..6a8d2ae21 100644
--- a/helm/software/components/grafite_parser/dependenciesParser.mli
+++ b/helm/software/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