# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 842855530 0
# Node ID ff05c19e81acae7f055f9d50168775a90c71a2ef
# Parent  4c03f0e575d7023b4cfb9fa77068cf3332e0a3bb
(read_minibuf_unwind): Clear last_overlay_modified field.

diff -r 4c03f0e575d7 -r ff05c19e81ac src/minibuf.c
--- a/src/minibuf.c	Mon Sep 16 06:31:45 1996 +0000
+++ b/src/minibuf.c	Mon Sep 16 06:32:10 1996 +0000
@@ -505,6 +505,7 @@
   /* Make sure minibuffer window is erased, not ignored.  */
   windows_or_buffers_changed++;
   XSETFASTINT (XWINDOW (window)->last_modified, 0);
+  XSETFASTINT (XWINDOW (window)->last_overlay_modified, 0);
 }