changeset 15524:4a92710b931c

(modify_event_symbol): Add properly to *symbol_table.
author Richard M. Stallman <rms@gnu.org>
date Thu, 27 Jun 1996 08:16:22 +0000
parents 682a3d405c49
children 521a4d5ccea0
files src/keyboard.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/keyboard.c	Thu Jun 27 07:48:39 1996 +0000
+++ b/src/keyboard.c	Thu Jun 27 08:16:22 1996 +0000
@@ -4485,7 +4485,7 @@
 	}
 
       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;