# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 745302968 0
# Node ID 2c5557903994103aed63a20b45ba4b3488ce0c9a
# Parent  eb2af4aa80e45a431e4441d54270490043e4e4ef
(property_change_between_p): Test NULL_INTERVAL_P
in loop, before looking at next->position.

diff -r eb2af4aa80e4 -r 2c5557903994 src/textprop.c
--- a/src/textprop.c	Sat Aug 14 03:50:26 1993 +0000
+++ b/src/textprop.c	Sat Aug 14 04:36:08 1993 +0000
@@ -568,6 +568,8 @@
   while (! NULL_INTERVAL_P (next) && intervals_equal (i, next))
     {
       next = next_interval (next);
+      if (NULL_INTERVAL_P (next))
+	return 0;
       if (next->position >= end)
 	return 0;
     }