X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FmatitacLib.ml;h=5886c2467042b258dbf1af3b173be9244e231ee4;hb=4a62bde42e3655a7829b9281d9b9057dc32c0471;hp=7bc3a1b7e1006696a92509e2829140d77ac786cf;hpb=c780c9756b67d116b1d5b5149ae758fa613c5fe6;p=helm.git

diff --git a/matita/matitacLib.ml b/matita/matitacLib.ml
index 7bc3a1b7e..5886c2467 100644
--- a/matita/matitacLib.ml
+++ b/matita/matitacLib.ml
@@ -103,7 +103,7 @@ let rec compile fname =
     Helm_registry.get_list Helm_registry.string "matita.includes" 
   in
   (* sanity checks *)
-  let root,baseuri,fname = Librarian.baseuri_of_script ~include_paths fname in
+  let root,baseuri,fname,_tgt = Librarian.baseuri_of_script ~include_paths fname in
   let moo_fname = 
    LibraryMisc.obj_file_of_baseuri ~must_exist:false ~baseuri ~writable:true
   in
@@ -230,7 +230,7 @@ module F =
     let string_of_target_object s = s;;
 
     let target_of mafile = 
-      let _,baseuri,_ = Librarian.baseuri_of_script mafile in
+      let _,baseuri,_,_ = Librarian.baseuri_of_script mafile in
       LibraryMisc.obj_file_of_baseuri 
         ~must_exist:false ~baseuri ~writable:true 
     ;;