bugfix to developments:

[helm.git] / matita / matitadep.ml

diff --git a/matita/matitadep.ml b/matita/matitadep.ml
index b951571f3fc85155400553604ad8ddf3aa6190ce..06a84619e798da1cf40e0fbf1d956efbf4db9e21 100644 (file)
--- 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