]> matita.cs.unibo.it Git - helm.git/blobdiff - components/grafite_parser/dependenciesParser.mli
bugfix to developments:
[helm.git] / components / grafite_parser / dependenciesParser.mli
index 882d45fb8ecaaad0ee31911e8c42133c8ddfa4d5..6a8d2ae212bbfb17495fc0af3be6ce82cfe2c275 100644 (file)
@@ -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