# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 731547832 0
# Node ID 8fe7e77dc59678032d042ceaf5b8174bd0618dea
# Parent  7eea4dfc51337cf091209649c4cacd2d732529ae
Include intervals.h.
(read_key_sequence): Use get_local_map.

diff -r 7eea4dfc5133 -r 8fe7e77dc596 src/keyboard.c
--- a/src/keyboard.c	Sun Mar 07 23:41:34 1993 +0000
+++ b/src/keyboard.c	Sun Mar 07 23:43:52 1993 +0000
@@ -35,6 +35,7 @@
 #include "disptab.h"
 #include "dispextern.h"
 #include "keyboard.h"
+#include "intervals.h"
 #include <setjmp.h>
 #include <errno.h>
 
@@ -3223,7 +3224,11 @@
 	nmaps_allocated = nmaps;
       }
     bcopy (maps, submaps, (nmaps - 2) * sizeof (submaps[0]));
-    submaps[nmaps-2] = current_buffer->keymap;
+#ifdef USE_TEXT_PROPERTIES
+    submaps[nmaps-2] = get_local_map (PT, current_buffer);
+#else
+    submaps[nmaps-2] = current_buffer->local_map;
+#endif
     submaps[nmaps-1] = global_map;
   }