diff src/load-save.cc @ 3558:d2d769ed9eaa

[project @ 2000-02-03 05:07:10 by jwe]
author jwe
date Thu, 03 Feb 2000 05:07:11 +0000
parents 2e5d35d7f60c
children 0ae310231c46
line wrap: on
line diff
--- a/src/load-save.cc
+++ b/src/load-save.cc
@@ -2717,7 +2717,7 @@
       if (file)
 	{
 	  bool write_header_info
-	    = ((file.rdbuf ())->seekoff (0, std::ios::cur) == 0);
+	    = ((file.rdbuf ())->pubseekoff (0, std::ios::cur) == 0);
 
 	  save_vars (argv, i, argc, file, save_builtins, format,
 		     save_as_floats, write_header_info);