changeset 1322:24fee1f1a577

[project @ 1995-08-22 06:16:38 by jwe]
author jwe
date Tue, 22 Aug 1995 06:16:38 +0000
parents 64819a909ed7
children 88d41e3204d5
files src/pr-output.cc
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/src/pr-output.cc	Tue Aug 22 05:41:48 1995 +0000
+++ b/src/pr-output.cc	Tue Aug 22 06:16:38 1995 +0000
@@ -924,12 +924,12 @@
 	      || native_float_format == OCTAVE_CRAY
 	      || native_float_format == OCTAVE_UNKNOWN_FLT_FMT)
 	    {
-	      for (int i = 0; i < sizeof (double); i++)
+	      for (size_t i = 0; i < sizeof (double); i++)
 		os.form ("%02x", (int) tmp.i[i]);
 	    }
 	  else
 	    {
-	      for (int i = sizeof (double) - 1; i >= 0; i--)
+	      for (size_t i = sizeof (double) - 1; i >= 0; i--)
 		os.form ("%02x", (int) tmp.i[i]);
 	    }
 	}
@@ -948,7 +948,7 @@
 	      || native_float_format == OCTAVE_CRAY
 	      || native_float_format == OCTAVE_UNKNOWN_FLT_FMT)
 	    {
-	      for (int i = 0; i < sizeof (double); i++)
+	      for (size_t i = 0; i < sizeof (double); i++)
 		PRINT_CHAR_BITS (os, tmp.i[i]);
 	    }
 	  else