# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 991051466 0
# Node ID 0b5642b0d6e4a49b8e361d26fc6e2260a8397457
# Parent  d4886ee1feae321d26a37f4a5e442f1e7227cea3
(char_property_eq): Put in #if 0.

diff -r d4886ee1feae -r 0b5642b0d6e4 src/editfns.c
--- a/src/editfns.c	Mon May 28 11:58:55 2001 +0000
+++ b/src/editfns.c	Mon May 28 12:04:26 2001 +0000
@@ -316,6 +316,8 @@
 }
 
 
+#if 0 /* Not used.  */
+
 /* Return nonzero if POS1 and POS2 have the same value
    for the text property PROP.  */
 
@@ -332,6 +334,8 @@
   return EQ (pval1, pval2);
 }
 
+#endif /* 0 */
+
 /* Return the direction from which the text-property PROP would be
    inherited by any new text inserted at POS: 1 if it would be
    inherited from the char after POS, -1 if it would be inherited from