# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 779933559 0
# Node ID 69cdecdaebf7fe9e2b757ebd11f833651441275e
# Parent  2d697a9302a768fb823a24891086796b9b5632e7
Add #include "keyboard.h"

diff -r 2d697a9302a7 -r 69cdecdaebf7 src/intervals.c
--- a/src/intervals.c	Sun Sep 18 23:59:10 1994 +0000
+++ b/src/intervals.c	Mon Sep 19 00:12:39 1994 +0000
@@ -43,6 +43,7 @@
 #include "intervals.h"
 #include "buffer.h"
 #include "puresize.h"
+#include "keyboard.h"
 
 /* The rest of the file is within this conditional.  */
 #ifdef USE_TEXT_PROPERTIES