fprintf outchan' "%s" (html_preamble uri);
flush outchan';
(try
- CicTypeChecker.typecheck (UriManager.uri_of_string uri);
+ ignore (CicTypeChecker.typecheck (UriManager.uri_of_string uri));
with e ->
fprintf outchan' "%s\n" (Printexc.to_string e);
flush outchan');
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"
+