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

diff -r ef1b2fbc435f -r d8ddbdfc33da src/keyboard.c
--- a/src/keyboard.c	Fri May 17 16:33:41 2002 +0000
+++ b/src/keyboard.c	Fri May 17 16:36:03 2002 +0000
@@ -5884,10 +5884,17 @@
 	value = Fcdr_safe (Fassq (symbol_int, name_alist_or_stem));
       else if (STRINGP (name_alist_or_stem))
 	{
-	  int len = STRING_BYTES (XSTRING (name_alist_or_stem));
-	  char *buf = (char *) alloca (len + 50);
-	  sprintf (buf, "%s-%d", XSTRING (name_alist_or_stem)->data,
-		   XINT (symbol_int) + 1);
+          int len = STRING_BYTES (XSTRING (name_alist_or_stem));
+          char *buf = (char *) alloca (len + 50);
+
+	  if (sizeof (int) == sizeof (EMACS_INT))
+	    sprintf (buf, "%s-%d", XSTRING (name_alist_or_stem)->data,
+		     XINT (symbol_int) + 1);
+	  else if (sizeof (long) == sizeof (EMACS_INT))
+	    sprintf (buf, "%s-%ld", XSTRING (name_alist_or_stem)->data,
+		     XINT (symbol_int) + 1);
+	  else
+	    abort ();
 	  value = intern (buf);
 	}
       else if (name_table != 0 && name_table[symbol_num])