# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 754213634 0
# Node ID d48ba25b35bf84e206c12ea344a77ad8a529c752
# Parent  9aa201005b16fac0b67dca74c9b344d19fbe4faf
(merge_properties_sticky): Declared.

diff -r 9aa201005b16 -r d48ba25b35bf src/intervals.c
--- a/src/intervals.c	Thu Nov 25 07:42:27 1993 +0000
+++ b/src/intervals.c	Thu Nov 25 07:47:14 1993 +0000
@@ -49,6 +49,8 @@
 
 /* Factor for weight-balancing interval trees.  */
 Lisp_Object interval_balance_threshold;
+
+Lisp_Object merge_properties_sticky ();
 
 /* Utility functions for intervals.  */