X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2FproofChecker%2FproofChecker.ml;h=2928cf6484b4a85ea0daefe48d36aab6261fa305;hb=fcbe3e8f67fa42c84a57e343ba5ef6a97ba8ca67;hp=1b3661e3471dcdb262f4da1dd19fe5f82bb3c125;hpb=9571f24af9d981219cac993604997f80bb2e1b97;p=helm.git

diff --git a/helm/software/daemons/proofChecker/proofChecker.ml b/helm/software/daemons/proofChecker/proofChecker.ml
index 1b3661e34..2928cf648 100644
--- a/helm/software/daemons/proofChecker/proofChecker.ml
+++ b/helm/software/daemons/proofChecker/proofChecker.ml
@@ -107,7 +107,8 @@ let callback (req : Http_types.request) outchan' =
           fprintf outchan' "%s" (html_preamble uri);
           flush outchan';
           (try
-            ignore (CicTypeChecker.typecheck (UriManager.uri_of_string uri));
+            ignore (CicTypeChecker.typecheck ~trust:false 
+              (UriManager.uri_of_string uri));
            with e ->
             fprintf outchan' "%s\n" (Printexc.to_string e);
             flush outchan');