# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1090705219 0
# Node ID 6740a7016dea17824fffdbdf3d397f52b0369a0c
# Parent  a86a4deb195dddb9b8d84ebe58fdb35096f58844
(not_single_kboard_state): Declared.

diff -r a86a4deb195d -r 6740a7016dea src/keyboard.h
--- a/src/keyboard.h	Sat Jul 24 21:39:32 2004 +0000
+++ b/src/keyboard.h	Sat Jul 24 21:40:19 2004 +0000
@@ -307,6 +307,7 @@
 extern void init_kboard P_ ((KBOARD *));
 extern void delete_kboard P_ ((KBOARD *));
 extern void single_kboard_state P_ ((void));
+extern void not_single_kboard_state P_ ((KBOARD *));
 extern void push_frame_kboard P_ ((struct frame *));
 extern void pop_frame_kboard P_ ((void));
 extern void record_asynch_buffer_change P_ ((void));