X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FproofChecker%2FproofChecker.pl;h=fde4b43eaf3fa924a626d98f3ecff4a2b7102ce2;hb=4020414d9bc31b545e311760045d4ce8f0645916;hp=680d260d8e20ce4ce8df8ca198299cb5d301bed1;hpb=84e62facde0ee126b5f08dd376086acd861a9320;p=helm.git

diff --git a/helm/proofChecker/proofChecker.pl b/helm/proofChecker/proofChecker.pl
index 680d260d8..fde4b43ea 100755
--- a/helm/proofChecker/proofChecker.pl
+++ b/helm/proofChecker/proofChecker.pl
@@ -48,9 +48,10 @@ while(true) {
 EOT
        while(chomp($_ = <PC_OUT>)) {
          last if ($_ eq "END");
-         print $c $_;
+         print $c $_."\n";
        }
        print $c <<EOT;
+<h1>Done.</h1>
 </body>
 </html>
 EOT