X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Fmatitadep.ml;h=06a84619e798da1cf40e0fbf1d956efbf4db9e21;hb=82794854730e383a5e388eeec0f89a77d1d2654c;hp=b951571f3fc85155400553604ad8ddf3aa6190ce;hpb=4e238c92f66aedf21c2d3a33aa5215cdf0a7189f;p=helm.git

diff --git a/helm/software/matita/matitadep.ml b/helm/software/matita/matitadep.ml
index b951571f3..06a84619e 100644
--- a/helm/software/matita/matitadep.ml
+++ b/helm/software/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