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

diff --git a/matita/matitadep.ml b/matita/matitadep.ml
index 4e309ae75..995230c45 100644
--- a/matita/matitadep.ml
+++ b/matita/matitadep.ml
@@ -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