set environment trust to false to avoid dummy proof checking

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index a04e782e1fb63102b86bf6f9f32e201690382cad..e4f00fe3acf86c989b4e250af89000fda4942206 100644 (file)
--- 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"
+