]> matita.cs.unibo.it Git - helm.git/commitdiff
set environment trust to false to avoid dummy proof checking
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 18 Nov 2004 16:50:34 +0000 (16:50 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 18 Nov 2004 16:50:34 +0000 (16:50 +0000)
helm/proofChecker/proofChecker.ml

index a04e782e1fb63102b86bf6f9f32e201690382cad..e4f00fe3acf86c989b4e250af89000fda4942206 100644 (file)
@@ -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"
+