release snapshot

[helm.git] / helm / matita / matitacLib.ml

diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml
index 3567c33f0a14575c683a75384381cab7c82dca61..ee09258e07bad2f80fd62af05a1a1810c5e26267 100644 (file)
--- a/helm/matita/matitacLib.ml
+++ b/helm/matita/matitacLib.ml
@@ -141,7 +141,9 @@ let go () =
   MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
   LibraryDb.create_owner_environment ();
   CicEnvironment.set_trust (* environment trust *)
-    (let trust = Helm_registry.get_bool "matita.environment_trust" in
+    (let trust =
+      Helm_registry.get_opt_default Helm_registry.get_bool
+        ~default:true "matita.environment_trust" in
      fun _ -> trust);
   let include_paths =
    Helm_registry.get_list Helm_registry.string "matita.includes" in