X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatitadep.ml;h=6a2dccb91a96c97bcff3d6b014eae8f8f5e0b708;hb=4a62bde42e3655a7829b9281d9b9057dc32c0471;hp=995230c451e9082fd995b62ee6a2274eeec6ca20;hpb=c780c9756b67d116b1d5b5149ae758fa613c5fe6;p=helm.git

diff --git a/matita/matitadep.ml b/matita/matitadep.ml
index 995230c45..6a2dccb91 100644
--- a/matita/matitadep.ml
+++ b/matita/matitadep.ml
@@ -43,7 +43,7 @@ let main () =
   let baseuri_of_script s = 
      try Hashtbl.find baseuri_of s 
      with Not_found -> 
-       let _,b,_ = Librarian.baseuri_of_script ~include_paths s in
+       let _,b,_,_ = Librarian.baseuri_of_script ~include_paths s in
        Hashtbl.add baseuri_of s b; 
        Hashtbl.add baseuri_of_inv b s; 
        b