# HG changeset patch
# User jwe
# Date 809072198 0
# Node ID 24fee1f1a57716bef79a5f451fba4b7d63b1fe3c
# Parent  64819a909ed790ad963a3f99622af333e22f2781
[project @ 1995-08-22 06:16:38 by jwe]

diff -r 64819a909ed7 -r 24fee1f1a577 src/pr-output.cc
--- 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