# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 851039853 0
# Node ID 798ab643cba27cd53886a0aaffdd8b11b4d24136
# Parent  a8927c5085fe211ec621b902245d99c54170f767
(modify_event_symbol):
Don't index thru name_table if it is null.

diff -r a8927c5085fe -r 798ab643cba2 src/keyboard.c
--- a/src/keyboard.c	Thu Dec 19 22:02:55 1996 +0000
+++ b/src/keyboard.c	Thu Dec 19 23:57:33 1996 +0000
@@ -4463,7 +4463,7 @@
       /* No; let's create it.  */
       if (!NILP (name_alist))
 	value = Fcdr_safe (Fassq (symbol_int, name_alist));
-      else if (name_table[symbol_num])
+      else if (name_table != 0 && name_table[symbol_num])
 	value = intern (name_table[symbol_num]);
 
 #ifdef HAVE_WINDOW_SYSTEM