From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 7 Jul 2005 09:45:18 +0000 (+0000)
Subject: env creation fix
X-Git-Tag: V_0_7_1~30
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=608c1bbe456a160b0c65c7d9fe58325279941ed9;p=helm.git

env creation fix
---

diff --git a/helm/matita/matitaclean.ml b/helm/matita/matitaclean.ml
index 1ee09d968..ab3e2a732 100644
--- 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