# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 740691469 0
# Node ID e07d474bdba93ad6845790833417a008bf9abf11
# Parent  ef8b4ed0de91fe9cccfa5846ee27123d7d777777
(Fremove_text_properties, Fadd_text_properties):
Really do next_interval when skipping the first interval.

diff -r ef8b4ed0de91 -r e07d474bdba9 src/textprop.c
--- a/src/textprop.c	Mon Jun 21 06:59:02 1993 +0000
+++ b/src/textprop.c	Mon Jun 21 19:37:49 1993 +0000
@@ -643,6 +643,7 @@
 	  if (got >= len)
 	    return Qnil;
 	  len -= got;
+	  i = next_interval (i);
 	}
       else
 	{
@@ -815,6 +816,7 @@
 	  if (got >= len)
 	    return Qnil;
 	  len -= got;
+	  i = next_interval (i);
 	}
       /* Split away the beginning of this interval; what we don't
 	 want to modify.  */