# HG changeset patch
# User Miles Bader <miles@gnu.org>
# Date 972459021 0
# Node ID 5fe3b3dc5dd987119a2d1a88db1eb5436e1ec85b
# Parent  9e73952fac8cd118bd41f2585f73b5f89d5f63d4
(overlays_at): Only let CHANGE_REQ inhibit an assignment of startpos to
  prev when startpos == pos.

diff -r 9e73952fac8c -r 5fe3b3dc5dd9 src/buffer.c
--- a/src/buffer.c	Wed Oct 25 07:16:44 2000 +0000
+++ b/src/buffer.c	Wed Oct 25 07:30:21 2000 +0000
@@ -2363,7 +2363,8 @@
 	}
       else if (endpos < pos && endpos > prev)
 	prev = endpos;
-      else if (endpos == pos && startpos > prev && !change_req)
+      else if (endpos == pos && startpos > prev
+	       && (!change_req || startpos < pos))
 	prev = startpos;
     }