# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 750572957 0
# Node ID ef44bf38f456d4b45701197cca32ca2e518550ad
# Parent  b70799eabd57512225d98bb2fb37e190431ed8a5
(Fdelete_overlay, Foverlay_put): Use marker_position,
not OVERLAY_POSITION, to get args for redisplay_region.

diff -r b70799eabd57 -r ef44bf38f456 src/buffer.c
--- a/src/buffer.c	Thu Oct 14 00:11:42 1993 +0000
+++ b/src/buffer.c	Thu Oct 14 04:29:17 1993 +0000
@@ -1682,8 +1682,8 @@
   b->overlays_after  = Fdelq (overlay, b->overlays_after);
 
   redisplay_region (b,
-		    OVERLAY_POSITION (OVERLAY_START (overlay)),
-		    OVERLAY_POSITION (OVERLAY_END   (overlay)));
+		    marker_position (OVERLAY_START (overlay)),
+		    marker_position (OVERLAY_END   (overlay)));
 
   Fset_marker (OVERLAY_START (overlay), Qnil, Qnil);
   Fset_marker (OVERLAY_END   (overlay), Qnil, Qnil);
@@ -1866,8 +1866,8 @@
   CHECK_OVERLAY (overlay, 0);
 
   redisplay_region (XMARKER (OVERLAY_START (overlay))->buffer,
-		    OVERLAY_POSITION (OVERLAY_START (overlay)),
-		    OVERLAY_POSITION (OVERLAY_END   (overlay)));
+		    marker_position (OVERLAY_START (overlay)),
+		    marker_position (OVERLAY_END   (overlay)));
   
   plist = Fcdr_safe (XCONS (overlay)->cdr);