first snapshot of separate compilation

[helm.git] / helm / matita / matitacLib.ml

diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml
index ea8888eb706c3fda00f39823bf129626b8308794..5f07aa406df52c7007c9f8e3d0f97636d8fd33a1 100644 (file)
--- a/helm/matita/matitacLib.ml
+++ b/helm/matita/matitacLib.ml
@@ -103,8 +103,10 @@ let main ~mode =
   Helm_registry.load_from "matita.conf.xml";
   Http_getter.init ();
   MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
+(*
   MatitaDb.clean_owner_environment ();
   MatitaDb.create_owner_environment ();
+*)
   status := Some (ref (Lazy.force MatitaEngine.initial_status));
   at_exit
     (fun () ->