# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 765516727 0
# Node ID cf38c5af079dff8c85ec88ecbe965e65ea45c7eb
# Parent  7ada27b4bf3caec727e20af0aa72424062df936b
(verify_overlay_modification): Run modification-hooks for any deletion that
intersects the overlay.

diff -r 7ada27b4bf3c -r cf38c5af079d src/buffer.c
--- a/src/buffer.c	Tue Apr 05 02:29:03 1994 +0000
+++ b/src/buffer.c	Tue Apr 05 03:32:07 1994 +0000
@@ -2057,9 +2057,9 @@
 	      call_overlay_mod_hooks (prop, overlay, start, end);
 	    }
 	}
-      if (insertion
-	  ? (XFASTINT (start) > startpos && XFASTINT (end) < endpos)
-	  : (XFASTINT (start) >= startpos && XFASTINT (end) <= endpos))
+      /* Test for intersecting intervals.  This does the right thing
+	 for both insertion and deletion.  */
+      if (XFASTINT (end) > startpos && XFASTINT (start) < endpos)
 	{
 	  prop = Foverlay_get (overlay, Qmodification_hooks);
 	  if (!NILP (prop))
@@ -2103,9 +2103,9 @@
 	      call_overlay_mod_hooks (prop, overlay, start, end);
 	    }
 	}
-      if (insertion
-	  ? (XFASTINT (start) > startpos && XFASTINT (end) < endpos)
-	  : (XFASTINT (start) >= startpos && XFASTINT (end) <= endpos))
+      /* Test for intersecting intervals.  This does the right thing
+	 for both insertion and deletion.  */
+      if (XFASTINT (end) > startpos && XFASTINT (start) < endpos)
 	{
 	  prop = Foverlay_get (overlay, Qmodification_hooks);
 	  if (!NILP (prop))