]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/matitadep.ml
- system flag now forks for matitadep too
[helm.git] / matita / matitadep.ml
index 3a5ee6561f4013628498d74cd099171843097075..cfbc3783cbae5e624e842867e038a2ee576b88e0 100644 (file)
@@ -55,6 +55,7 @@ let main () =
     ["-dot", Arg.Set_string dot_file,
       "<file> Save dependency graph in dot format to the given file"];
   MatitaInit.parse_cmdline_and_configuration_file ();
+  MatitaInit.initialize_environment ();
   let include_paths =
    Helm_registry.get_list Helm_registry.string "matita.includes" in
   let args = Helm_registry.get_list Helm_registry.string "matita.args" in