diff src/ov.h @ 5956:cdef72fcd206

[project @ 2006-08-22 20:36:56 by jwe]
author jwe
date Tue, 22 Aug 2006 20:36:57 +0000
parents c038c2947ee1
children 85c7dc4afe6b
line wrap: on
line diff
--- a/src/ov.h	Tue Aug 22 18:37:43 2006 +0000
+++ b/src/ov.h	Tue Aug 22 20:36:57 2006 +0000
@@ -779,7 +779,7 @@
 			   const std::string& prefix = std::string ()) const;
 
   bool save_ascii (std::ostream& os, bool& infnan_warned,
-			   bool strip_nan_and_inf) 
+		   int strip_nan_and_inf) 
     { return rep->save_ascii (os, infnan_warned, strip_nan_and_inf); }
 
   bool load_ascii (std::istream& is)