From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 18 Nov 2004 16:50:34 +0000 (+0000)
Subject: set environment trust to false to avoid dummy proof checking
X-Git-Tag: PRE_UNIVERSES~20
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2b28b6c28c01a087753f0c8c65e0fac41e2cd0ad;p=helm.git

set environment trust to false to avoid dummy proof checking
---

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index a04e782e1..e4f00fe3a 100644
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -127,5 +127,7 @@ in
 
 printf "Proof Checker started and listening on port %d\n" port;
 flush stdout;
+CicEnvironment.set_trust (fun _ -> false);
 Http_daemon.start' ~port ~mode:`Fork callback ;
 printf "Proof Checker is terminating, bye!\n"
+