diff src/load-save.cc @ 5829:93785a1b0f97

[project @ 2006-05-23 18:34:10 by jwe]
author jwe
date Tue, 23 May 2006 18:34:10 +0000
parents 22e23bee74c8
children 5a3a716c257d
line wrap: on
line diff
--- a/src/load-save.cc
+++ b/src/load-save.cc
@@ -1681,9 +1681,7 @@
 
 	      if (file)
 		{
-		  bool write_header_info
-		    = ((file.rdbuf ())->pubseekoff (0, std::ios::cur)
-		       == static_cast<std::streampos> (0));
+		  bool write_header_info = ! file.tellp ();
 	      
 		  save_vars (argv, i, argc, file, format,
 			     save_as_floats, write_header_info);
@@ -1703,9 +1701,7 @@
 	  
 	      if (file)
 		{
-		  bool write_header_info
-		    = ((file.rdbuf ())->pubseekoff (0, std::ios::cur)
-		       == static_cast<std::streampos> (0));
+		  bool write_header_info = ! file.tellp ();
 	      
 		  save_vars (argv, i, argc, file, format,
 			     save_as_floats, write_header_info);