From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 May 2008 21:41:57 +0000 (+0000)
Subject: trust is always false by default
X-Git-Tag: make_still_working~5230
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9ae6d985833cf9e6855f41c942dc3c3d24af10e0;p=helm.git

trust is always false by default
---

diff --git a/helm/software/components/ng_kernel/nCicTypeChecker.ml b/helm/software/components/ng_kernel/nCicTypeChecker.ml
index 33d3e86cf..25042b4cd 100644
--- a/helm/software/components/ng_kernel/nCicTypeChecker.ml
+++ b/helm/software/components/ng_kernel/nCicTypeChecker.ml
@@ -1049,7 +1049,7 @@ let typecheck_obj (uri,height,metasenv,subst,kind) =
 
 (* trust *)
 
-let trust = ref  (fun _ -> true);;
+let trust = ref  (fun _ -> false);;
 let set_trust f = trust := f
 let trust_obj obj = !trust obj