From c8e19d0bd87fcce54e08907af1d934a1deadc0c0 Mon Sep 17 00:00:00 2001 From: Dave Love Date: Fri, 17 May 2002 16:37:56 +0000 Subject: [PATCH] (print_object): Fix print format for 64-bit systems. --- src/print.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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 ('\"'); -- 2.39.2