irediced usage of matita.includes, that is now set by

[helm.git] / matita / matitadep.ml

diff --git a/matita/matitadep.ml b/matita/matitadep.ml
index 4e309ae7585be99d31c82967ab9013cd84a410e2..6a2dccb91a96c97bcff3d6b014eae8f8f5e0b708 100644 (file)
--- 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
@@ -66,7 +66,6 @@ let main () =
     "<file> Save dependency graph in dot format to the given file";];
   MatitaInit.parse_cmdline_and_configuration_file ();
   MatitaInit.initialize_environment ();
-  MatitamakeLib.initialize ();
   let args = Helm_registry.get_list Helm_registry.string "matita.args" in
   let args = 
     if args = [] then