# HG changeset patch
# User jwe
# Date 758267815 0
# Node ID 79a1403b8b6edccd3b630065c7840907c35af8f1
# Parent  f1897eae772eb614aca685f425f134da7db33ceb
[project @ 1994-01-11 05:56:55 by jwe]

diff -r f1897eae772e -r 79a1403b8b6e src/octave.cc
--- a/src/octave.cc	Tue Jan 11 05:48:07 1994 +0000
+++ b/src/octave.cc	Tue Jan 11 05:56:55 1994 +0000
@@ -322,7 +322,9 @@
        << "     x : echo commands as they are executed\n"
        << "\n"
        << "  file : execute commands from named file\n"
-       << endl;
+       << "\n";
+
+  cout.flush ();
 
   exit (1);
 }