(print_object): Fix print format for 64-bit

systems.

diff --git a/src/print.c b/src/print.c
index 053f662286542cefd429cf5f5cec559ac495bbd6..b79f2fc35029a1346589160f20bd40cca825cb27 100644 (file)
--- 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 ('\"');