snapshot

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

diff --git a/helm/matita/matita.ml b/helm/matita/matita.ml
index 7c9502bd414cc89b674d00a1d216a77baf8b4610..49488a94dfe3fe38bb5d593933df741f7e6bfe93 100644 (file)
--- a/helm/matita/matita.ml
+++ b/helm/matita/matita.ml
@@ -232,6 +232,7 @@ let _ =
   (** </DEBUGGING> *)
 
 let _ =
+(*   CicEnvironment.set_trust (fun _ -> false); *)
   (try
     load_script Sys.argv.(1)
   with Invalid_argument _ -> ());