From a4f8fdb828d668b006d177f0f22fe9e0f5a0920f Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 5 Sep 2005 09:24:51 +0000 Subject: [PATCH] create_owner_environment missing from matitatop initialization --- helm/matita/matitacLib.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml index 3acfadfb6..0eb297776 100644 --- a/helm/matita/matitacLib.ml +++ b/helm/matita/matitacLib.ml @@ -137,6 +137,7 @@ let go () = CicNotation.load_notation BuildTimeConf.core_notation_script; Http_getter.init (); MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner"); + MatitaDb.create_owner_environment (); CicEnvironment.set_trust (* environment trust *) (let trust = Helm_registry.get_bool "matita.environment_trust" in fun _ -> trust); -- 2.39.2