# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 966520128 0
# Node ID 3fb31847c03a8355f92013c2dbe71f662837d946
# Parent  7e4ace31d8b10dcf01e69773e084a624245c10ea
Avoid DECLARE_INTERVALS.

diff -r 7e4ace31d8b1 -r 3fb31847c03a src/buffer.h
--- a/src/buffer.h	Thu Aug 17 13:45:46 2000 +0000
+++ b/src/buffer.h	Thu Aug 17 13:48:48 2000 +0000
@@ -423,8 +423,8 @@
        end_unchanged contain no useful information.  */
     int overlay_unchanged_modified;
 
-    /* Properties of this buffer's text -- conditionally compiled.  */
-    DECLARE_INTERVALS
+    /* Properties of this buffer's text.  */
+    INTERVAL intervals;
 
     /* The markers that refer to this buffer.
        This is actually a single marker ---