diff src/pr-output.cc @ 4574:6cb22b9e3942

[project @ 2003-10-31 05:57:43 by jwe]
author jwe
date Fri, 31 Oct 2003 05:57:44 +0000
parents 802818bfac91
children 0e28461651f2
line wrap: on
line diff
--- a/src/pr-output.cc
+++ b/src/pr-output.cc
@@ -1125,9 +1125,9 @@
 	    = os.flags (std::ios::right | std::ios::hex);
 
 	  if (hex_format > 1
-	      || flt_fmt == oct_mach_info::ieee_big_endian
-	      || flt_fmt == oct_mach_info::cray
-	      || flt_fmt == oct_mach_info::unknown)
+	      || flt_fmt == oct_mach_info::flt_fmt_ieee_big_endian
+	      || flt_fmt == oct_mach_info::flt_fmt_cray
+	      || flt_fmt == oct_mach_info::flt_fmt_unknown)
 	    {
 	      for (size_t i = 0; i < sizeof (double); i++)
 		os << std::setw (2) << static_cast<int> (tmp.i[i]);
@@ -1155,9 +1155,9 @@
 	  oct_mach_info::float_format flt_fmt =
 	    oct_mach_info::native_float_format ();
 
-	  if (flt_fmt == oct_mach_info::ieee_big_endian
-	      || flt_fmt == oct_mach_info::cray
-	      || flt_fmt == oct_mach_info::unknown)
+	  if (flt_fmt == oct_mach_info::flt_fmt_ieee_big_endian
+	      || flt_fmt == oct_mach_info::flt_fmt_cray
+	      || flt_fmt == oct_mach_info::flt_fmt_unknown)
 	    {
 	      for (size_t i = 0; i < sizeof (double); i++)
 		PRINT_CHAR_BITS (os, tmp.i[i]);