(modify_event_symbol): Fix print format for 64-bit

systems.

diff --git a/src/keyboard.c b/src/keyboard.c
index 6dfe76b47e8082a8c631ba9d4a0e8b5c416978b7..8128eaca2d95125ad5cc6991492c3120483986fc 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -5884,10 +5884,17 @@ modify_event_symbol (symbol_num, modifiers, symbol_kind, name_alist_or_stem,
        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])