diff src/print.c @ 88549:c88e9fa13453

(print_object): Fix print format for 64-bit systems.

--- a/src/print.c	Fri May 17 16:36:03 2002 +0000
+++ b/src/print.c	Fri May 17 16:37:56 2002 +0000
@@ -1683,7 +1683,12 @@
 
 	  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 ('\"');