From 2b28b6c28c01a087753f0c8c65e0fac41e2cd0ad Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 18 Nov 2004 16:50:34 +0000 Subject: [PATCH] set environment trust to false to avoid dummy proof checking --- helm/proofChecker/proofChecker.ml | 2 ++ 1 file changed, 2 insertions(+) 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" + -- 2.39.2