X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2FproofChecker%2FproofChecker.ml;h=7659e57dd2a6553128909b21689ad59082547d7e;hb=abea1aa1f1e152be1809145c962fa6588728d6f7;hp=6513d4f930085eb020258a8e01117575357c44df;hpb=a046b6cc295535b0b70750708ee7e289fe72ffa6;p=helm.git diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml index 6513d4f93..7659e57dd 100644 --- a/helm/proofChecker/proofChecker.ml +++ b/helm/proofChecker/proofChecker.ml @@ -37,10 +37,10 @@ let (html_preamble, html_postamble) =