# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1558630738 14400
# Node ID 69f5d5e42d2bf36383f22437d2d52a4c9574b826
# Parent  822a2fe5bb510a58f15cd5c459ff4d91c935adaf
print newline on EOF in tty mode

diff -r 822a2fe5bb51 -r 69f5d5e42d2b tty-main.cpp
--- a/tty-main.cpp	Thu May 23 12:36:26 2019 -0400
+++ b/tty-main.cpp	Thu May 23 12:58:58 2019 -0400
@@ -29,7 +29,10 @@
         char *tmp = readline (parser::beg_of_stmt ? ">> " : "");
 
         if (! tmp)
-          break;
+          {
+            std::cout << "\n";
+            break;
+          }
 
         if (*tmp)
           {