diff src/load-save.cc @ 1043:b8dd808bc61f

[project @ 1995-01-18 15:56:40 by jwe]
author jwe
date Wed, 18 Jan 1995 15:56:40 +0000
parents dfe01093f657
children 3243a4f59937
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*',