1.0.9.59: Fix ash/smod61 on x86-64 for constant large shifts.

[sbcl.git] / src / runtime / save.c

diff --git a/src/runtime/save.c b/src/runtime/save.c
index db6b77c..78a56ad 100644 (file)
--- a/src/runtime/save.c
+++ b/src/runtime/save.c
@@ -171,7 +171,7 @@ output_space(FILE *file, int id, lispobj *addr, lispobj *end, os_vm_offset_t fil
 #endif
 
     printf("writing %lu bytes from the %s space at 0x%08lx\n",
-           bytes, names[id], (unsigned long)addr);
+           (unsigned long)bytes, names[id], (unsigned long)addr);
 
     data = write_bytes(file, (char *)addr, bytes, file_offset);