From 608c1bbe456a160b0c65c7d9fe58325279941ed9 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 7 Jul 2005 09:45:18 +0000
Subject: [PATCH] env creation fix

---
 helm/matita/matitaclean.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
 
-- 
2.39.2