# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 770126915 0
# Node ID 741ba17eeb20b09d8c8eaa02cf850c5fa4450fc4
# Parent  0998ca7d922c7948429c7202c639ccb0afa122ef
[HAVE_X_WINDOWS]: Include xterm.h.

diff -r 0998ca7d922c -r 741ba17eeb20 src/keyboard.c
--- a/src/keyboard.c	Sat May 28 12:04:04 1994 +0000
+++ b/src/keyboard.c	Sat May 28 12:08:35 1994 +0000
@@ -53,6 +53,11 @@
 #include "systty.h"
 #include "systime.h"
 
+/* This is to get the definitions of the XK_ symbols.  */
+#ifdef HAVE_X_WINDOWS
+#include "xterm.h"
+#endif
+
 extern int errno;
 
 /* Variables for blockinput.h: */