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