Use %td, not %d, to format ptrdiff_t values with printf.

diff --git a/src/microcode/gcloop.c b/src/microcode/gcloop.c
index 0ab54e044bc7877dc4a3d85e90a5461b212af38e..0e7931cf550fb49036c834bece9a8526a5deddc9 100644 (file)
--- a/src/microcode/gcloop.c
+++ b/src/microcode/gcloop.c
@@ -928,7 +928,7 @@ check_newspace_sync (void)
 {
   if ((newspace_next - newspace_start)
       != (tospace_next - tospace_start))
-    std_gc_death ("mismatch between newspace and tospace ptrs: %d/%d",
+    std_gc_death ("mismatch between newspace and tospace ptrs: %td/%td",
                  (newspace_next - newspace_start),
                  (tospace_next - tospace_start));
 }