X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgrafite_parser%2FgrafiteParser.ml;h=c948272ef40ff913d6817275fbfdc4d4b10df460;hb=4a62bde42e3655a7829b9281d9b9057dc32c0471;hp=07ca6a6f1311218b01401d1f0cb9d8645ef86bd3;hpb=c780c9756b67d116b1d5b5149ae758fa613c5fe6;p=helm.git

diff --git a/components/grafite_parser/grafiteParser.ml b/components/grafite_parser/grafiteParser.ml
index 07ca6a6f1..c948272ef 100644
--- a/components/grafite_parser/grafiteParser.ml
+++ b/components/grafite_parser/grafiteParser.ml
@@ -692,7 +692,7 @@ EXTEND
        fun ~include_paths status -> status,LSome (GrafiteAst.Comment (loc, com))
     | (iloc,fname,mode) = include_command ; SYMBOL "."  ->
        fun ~include_paths status ->
-	let _root, buri, fullpath = 
+	let _root, buri, fullpath, _rrelpath = 
           Librarian.baseuri_of_script ~include_paths fname 
         in
         let status =