X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FproofChecker%2FproofChecker.ml;h=a04e782e1fb63102b86bf6f9f32e201690382cad;hb=741b3e9014f940fbbd34bee7b606ff7e72170452;hp=278413bde8fc77e4ff1a3f8e95e4d0b58c1d3547;hpb=81814dffe8a7bdc7e537b36742dcea44a51fd8ad;p=helm.git diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml index 278413bde..a04e782e1 100644 --- a/helm/proofChecker/proofChecker.ml +++ b/helm/proofChecker/proofChecker.ml @@ -37,10 +37,10 @@ let (html_preamble, html_postamble) = Proof-Checking %s -

Proof-Checking %s:

+

Proof-Checking %s:

" uri uri)), -("

Done.

+("

Done.

END @@ -107,7 +107,7 @@ let callback (req : Http_types.request) outchan' = 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');