X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitac.ml;h=c29b507792f698035809c66bd055827b85e4044b;hb=c66e9d17eda5e5defcb363e42d891d2b407cf7c3;hp=87c30cfea08001eca25930502198dcad170e4468;hpb=7deafec4fd4b2eebf4d4061f21ee5c47bd15b062;p=helm.git

diff --git a/helm/matita/matitac.ml b/helm/matita/matitac.ml
index 87c30cfea..c29b50779 100644
--- a/helm/matita/matitac.ml
+++ b/helm/matita/matitac.ml
@@ -72,7 +72,12 @@ let dbd =
     ~user:(Helm_registry.get "db.user")
     ~database:(Helm_registry.get "db.database")
     ()
-let _ = MetadataDb.clean ~dbd ~owner:(Helm_registry.get "matita.owner")
+    
+let owner = (Helm_registry.get "matita.owner") ;;
+let _ = MetadataTypes.ownerize_tables owner ;;
+let _ = MatitaDb.clean_owner_environment dbd owner ;; 
+let _ = MatitaDb.create_owner_environment dbd owner ;; 
+
 let disambiguator =
   new MatitaDisambiguator.disambiguator ~parserr ~dbd
     ~chooseUris:mono_uris_callback ~chooseInterp:mono_interp_callback