# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 978010775 0
# Node ID cc3aa3f6232ab66a863c7e74947941ab89ec9d9a
# Parent  333a490b6ebccf4170d94732322b7aa4d481efee
(push_key_description): Add prototype.

diff -r 333a490b6ebc -r cc3aa3f6232a src/lisp.h
--- a/src/lisp.h	Thu Dec 28 13:38:55 2000 +0000
+++ b/src/lisp.h	Thu Dec 28 13:39:35 2000 +0000
@@ -2585,6 +2585,7 @@
 extern void init_keyboard P_ ((void));
 extern void syms_of_keyboard P_ ((void));
 extern void keys_of_keyboard P_ ((void));
+extern char *push_key_description P_ ((unsigned int, char *, int));
 
 /* defined in keymap.c */