diff src/ov-base-int.h @ 5956:cdef72fcd206

[project @ 2006-08-22 20:36:56 by jwe]
author jwe
date Tue, 22 Aug 2006 20:36:57 +0000
parents ce79d238f142
children 85c7dc4afe6b
line wrap: on
line diff
--- a/src/ov-base-int.h	Tue Aug 22 18:37:43 2006 +0000
+++ b/src/ov-base-int.h	Tue Aug 22 20:36:57 2006 +0000
@@ -68,7 +68,7 @@
   void print_raw (std::ostream& os, bool pr_as_read_syntax = false) const;
 
   bool save_ascii (std::ostream& os, bool& infnan_warned,
-		   bool strip_nan_and_inf);
+		   int strip_nan_and_inf);
 
   bool load_ascii (std::istream& is);
 
@@ -109,7 +109,7 @@
 
   //  void decrement (void) { scalar -= 1; }
 
-  bool save_ascii (std::ostream& os, bool&, bool );
+  bool save_ascii (std::ostream& os, bool&, int);
 
   bool load_ascii (std::istream& is);