From 9ae6d985833cf9e6855f41c942dc3c3d24af10e0 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 12 May 2008 21:41:57 +0000 Subject: [PATCH] trust is always false by default --- helm/software/components/ng_kernel/nCicTypeChecker.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2