[MLton-commit] r4417

[Matthew Fluet]

Pointer cast
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/basis/Real/gdtoa.c

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/basis/Real/gdtoa.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/Real/gdtoa.c	2006-04-25 18:35:12 UTC (rev 4416)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/Real/gdtoa.c	2006-04-25 18:56:21 UTC (rev 4417)
@@ -35,7 +35,7 @@
   result = gdtoa (&fpi, ex, bits, &i, mode, ndig, (int*)decpt, NULL);
   if (DEBUG)
     fprintf (stderr, "%s = gdtoa (%g, %d, %d)   decpt = %d\n", 
-             result, (double)f, mode, ndig, *decpt);
+             result, (double)f, mode, ndig, *((int*)decpt));
   return (C_String_t)result;
 }
 
@@ -69,6 +69,6 @@
   result = gdtoa (&fpi, ex, bits, &i, mode, ndig, (int*)decpt, NULL);
   if (DEBUG)
     fprintf (stderr, "%s = gdtoa (%g, %d, %d)   decpt = %d\n", 
-             result, d, mode, ndig, *decpt);
+             result, d, mode, ndig, *((int*)decpt));
   return (C_String_t)result;
 }