From 47b36a8d040720c79d51ae7a800cbe91db4bcc4b Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 2 Sep 2005 09:42:34 +0000 Subject: [PATCH] Stupid typo fixed. --- helm/matita/matitacLib.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml index 9165d5a8b..3acfadfb6 100644 --- a/helm/matita/matitacLib.ml +++ b/helm/matita/matitacLib.ml @@ -139,7 +139,7 @@ let go () = MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner"); CicEnvironment.set_trust (* environment trust *) (let trust = Helm_registry.get_bool "matita.environment_trust" in - fun _ -> trust) + fun _ -> trust); status := Some (ref (Lazy.force MatitaEngine.initial_status)); Sys.catch_break true; interactive_loop () @@ -159,7 +159,7 @@ let main ~mode = MatitaDb.create_owner_environment (); CicEnvironment.set_trust (* environment trust *) (let trust = Helm_registry.get_bool "matita.environment_trust" in - fun _ -> trust) + fun _ -> trust); status := Some (ref (Lazy.force MatitaEngine.initial_status)); Sys.catch_break true; let origcb = MatitaLog.get_log_callback () in -- 2.39.2