From 4205cb08b6d451bb9d9374faa027d40c0f62ee50 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Thu, 27 Jun 1996 08:16:22 +0000
Subject: [PATCH] (modify_event_symbol): Add properly to *symbol_table.

---
 src/keyboard.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/keyboard.c b/src/keyboard.c
index b8025a11b1..c4d4902067 100644
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -4485,7 +4485,7 @@ modify_event_symbol (symbol_num, modifiers, symbol_kind, name_alist,
 	}
 
       if (CONSP (*symbol_table))
-	*symbol_table = Fcons (value, *symbol_table);
+        *symbol_table = Fcons (Fcons (symbol_int, value), *symbol_table);
       else
 	XVECTOR (*symbol_table)->contents[symbol_num] = value;
 
-- 
2.39.2