changeset 88549:c88e9fa13453

(print_object): Fix print format for 64-bit systems.
author Dave Love <fx@gnu.org>
date Fri, 17 May 2002 16:37:56 +0000
parents d8ddbdfc33da
children 77b7f94032fa
files src/print.c
diffstat 1 files changed, 6 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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 ('\"');