(push_key_description): Call CHARACTERP correctly.
authorDave Love <fx@gnu.org>
Tue, 30 Jul 2002 11:35:28 +0000 (11:35 +0000)
committerDave Love <fx@gnu.org>
Tue, 30 Jul 2002 11:35:28 +0000 (11:35 +0000)
commit5bbc8070463409be5b5b34744ecd1eb57ad0bc5a
treeef37cbfd5e3309091c3a159fa5098d35a05e032c
parent00c4da0f79e7c762d50cf62a622d7c4cd8fe8176
(push_key_description): Call CHARACTERP correctly.
src/keymap.c