changeset 1043:b8dd808bc61f

[project @ 1995-01-18 15:56:40 by jwe]
author jwe
date Wed, 18 Jan 1995 15:56:40 +0000
parents 1173ee1952be
children 1aa6f2edd975
files src/load-save.cc
diffstat 1 files changed, 5 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/load-save.cc
+++ b/src/load-save.cc
@@ -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*',