X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=dump-float.c;h=84e4115e1915e7e8663241f54640d382c1efb769;hb=2618ed943daf22c2b46f6dd76b7700739c5afb84;hp=9e2d4bef319a4a3aa11c1475ab9ee29cb00e12a2;hpb=8b7ea7f744c5e82874cd28cb36c44a2d99e5894b;p=pspp

diff --git a/dump-float.c b/dump-float.c
index 9e2d4bef31..84e4115e19 100644
--- a/dump-float.c
+++ b/dump-float.c
@@ -9,7 +9,7 @@ main (void)
       uint8_t b[8];
       double d;
     }
-  x = { .b = { 0x00, 0x00, 0x00, 0x00, 0x00, 0x4c, 0xdd, 0x40 } };
+  x = { .b = { 0x18, 0x00, 0x00, 0x1c, 0xf0, 0xff, 0xff, 0x5f } };
   printf ("%f\n", x.d);
   return 0;
 }