X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatitadep.ml;h=06a84619e798da1cf40e0fbf1d956efbf4db9e21;hb=81b53ddc3ce92187e62deff483919ca2251fd246;hp=b951571f3fc85155400553604ad8ddf3aa6190ce;hpb=d90d73349df641ea2d18b4c2ff4fe9d970861778;p=helm.git

diff --git a/matita/matitadep.ml b/matita/matitadep.ml
index b951571f3..06a84619e 100644
--- a/matita/matitadep.ml
+++ b/matita/matitadep.ml
@@ -70,7 +70,7 @@ let main () =
           Hashtbl.add baseuri_of ma_file uri
        | DependenciesParser.IncludeDep path -> 
           try 
-            let baseuri =
+            let baseuri,_ =
               DependenciesParser.baseuri_of_script ~include_paths path in
             if not (Http_getter_storage.is_legacy baseuri) then
               let moo_file = obj_file_of_baseuri false baseuri in