Ported to ocaml-3.04

[helm.git] / helm / proofChecker / proofChecker.pl

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