# HG changeset patch
# User jwe
# Date 830686339 0
# Node ID 91c0c3d18339a142dce75c901551d9076e355b14
# Parent  36903d507b0e6e418ef858eb02f20750a25777bb
[project @ 1996-04-28 10:12:19 by jwe]

diff --git a/src/sighandlers.cc b/src/sighandlers.cc
--- a/src/sighandlers.cc
+++ b/src/sighandlers.cc
@@ -158,7 +158,7 @@
 	  if (pid == octave_pager_pid)
 	    {
 	      error ("connection to external pager lost --");
-	      error ("pending computations have been discarded");
+	      error ("pending computations have been discarded\n");
 	    }
 	}
     }