# HG changeset patch
# User Stefan Monnier <monnier@iro.umontreal.ca>
# Date 1006741178 0
# Node ID afe70a164d3b24ea302829766812b27f4348931a
# Parent  960d5d2165b3b40afb53fc11d36ad179c65fa585
(set_text_properties_1): Clearly mark that the interval should not be empty.

diff -r 960d5d2165b3 -r afe70a164d3b src/textprop.c
--- a/src/textprop.c	Mon Nov 26 02:16:59 2001 +0000
+++ b/src/textprop.c	Mon Nov 26 02:19:38 2001 +0000
@@ -1303,7 +1303,8 @@
    properties PROPERTIES.  BUFFER is the buffer containing
    the text.  This does not obey any hooks.
    You can provide the interval that START is located in as I,
-   or pass NULL for I and this function will find it.  */
+   or pass NULL for I and this function will find it.
+   This function assumes that START < END.  */
 
 void
 set_text_properties_1 (start, end, properties, buffer, i)
@@ -1316,6 +1317,7 @@
 
   s = XINT (start);
   len = XINT (end) - s;
+  eassert (len > 0);
   if (i == 0)
     i = find_interval (BUF_INTERVALS (XBUFFER (buffer)), s);