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 33d3e86cfad7d693d8b372b990d0fc243b8f1cc3..25042b4cdf8b1d6aee7f82145cee50ac4d29a9ca 100644 (file)
--- 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