# HG changeset patch
# User jwe
# Date 790444600 0
# Node ID b8dd808bc61f96cd3d92d8834708dceb4b08897c
# Parent  1173ee1952be627298f2cd333ea867442b27ad26
[project @ 1995-01-18 15:56:40 by jwe]

diff -r 1173ee1952be -r b8dd808bc61f src/load-save.cc
--- a/src/load-save.cc	Wed Jan 18 15:52:21 1995 +0000
+++ b/src/load-save.cc	Wed Jan 18 15:56:40 1995 +0000
@@ -2946,8 +2946,12 @@
 // XXX FIXME XXX -- should things intended for the screen end up in a 
 // tree_constant (string)?
 
-      save_vars (argv, argc, cout, save_builtins, format,
+      ostrstream buf;
+
+      save_vars (argv, argc, buf, save_builtins, format,
 		 save_as_floats);
+
+      maybe_page_output (buf);
     }
   else if (argc == 1 && glob_pattern_p (*argv)) // Guard against things
     {						// like `save a*',