# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 740566138 0
# Node ID a58e981e2582dc679f21fc783ade16a5e2aa1e61
# Parent  8808695cc15bc04e71a88d3eedeff730ec2789a2
(verify_interval_modification): Don't just test
Qread_only prop; use INTERVAL_WRITABLE_P.

diff -r 8808695cc15b -r a58e981e2582 src/intervals.c
--- a/src/intervals.c	Sun Jun 20 08:48:12 1993 +0000
+++ b/src/intervals.c	Sun Jun 20 08:48:58 1993 +0000
@@ -1479,21 +1479,22 @@
 
       if (NULL_INTERVAL_P (prev))
 	{
-	  after = textget (i->plist, Qread_only);
-	  if (! NILP (after))
+	  if (! INTERVAL_WRITABLE_P (i))
 	    error ("Attempt to insert within read-only text");
 	}
       else if (NULL_INTERVAL_P (i))
 	{
-	  before = textget (prev->plist, Qread_only);
-	  if (! NILP (before))
+	  if (! INTERVAL_WRITABLE_P (prev))
 	    error ("Attempt to insert within read-only text");
 	}
       else
 	{
 	  before = textget (prev->plist, Qread_only);
 	  after = textget (i->plist, Qread_only);
-	  if (! NILP (before) && EQ (before, after))
+	  if (! NILP (before) && EQ (before, after)
+	      /* This checks Vinhibit_read_only properly
+		 for the common value of the read-only property.  */
+	      && ! INTERVAL_WRITABLE_P (i))
 	    error ("Attempt to insert within read-only text");
 	}