env creation fix

diff --git a/helm/matita/matitaclean.ml b/helm/matita/matitaclean.ml
index 1ee09d96835f0a940932cf69834277eae93d4d58..ab3e2a732fd927d03c36eb3011cb49c097efc0a9 100644 (file)
--- a/helm/matita/matitaclean.ml
+++ b/helm/matita/matitaclean.ml
@@ -4,7 +4,8 @@ module TA = TacticAst;;
 let _ =
   Helm_registry.load_from "matita.conf.xml";
   Http_getter.init ();
-  MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner")
+  MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
+  MatitaDb.create_owner_environment ()
 
 let main uri_to_remove = MatitacleanLib.clean_baseuris uri_to_remove