(print_object): Fix print format for 64-bit

systems.

1 files changed, 6 insertions, 1 deletions

diff --git a/src/print.c b/src/print.c
index 053f6622865..b79f2fc3502 100644
--- a/src/print.c
+++ b/src/print.c
@@ -1683,7 +1683,12 @@ print_object (obj, printcharfun, escapeflag)
 
           PRINTCHAR ('#');
           PRINTCHAR ('&');
-          sprintf (buf, "%d", XBOOL_VECTOR (obj)->size);
+          if (sizeof (int) == sizeof (EMACS_INT))
+            sprintf (buf, "%d", XBOOL_VECTOR (obj)->size);
+          else if (sizeof (long) == sizeof (EMACS_INT))
+            sprintf (buf, "%ld", XBOOL_VECTOR (obj)->size);
+          else
+            abort ();
           strout (buf, -1, -1, printcharfun, 0);
           PRINTCHAR ('\"');