# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 1021653476 0
# Node ID c88e9fa1345323eda0f5ef977bfb69fdfec56c79
# Parent  d8ddbdfc33da3926c4ce964f09861597ae200bab
(print_object): Fix print format for 64-bit
systems.

diff -r d8ddbdfc33da -r c88e9fa13453 src/print.c
--- 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 ('\"');