# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 752962365 0
# Node ID 6648ce61e9fdb48ecb7b5e9c60b2a5ff4df4bbb5
# Parent  99edf052bfa001fe32a92fa53a481c919a3312c2
(intervals.o): Depend on puresize.h.

diff -r 99edf052bfa0 -r 6648ce61e9fd src/Makefile.in
--- a/src/Makefile.in	Wed Nov 10 20:11:44 1993 +0000
+++ b/src/Makefile.in	Wed Nov 10 20:12:45 1993 +0000
@@ -754,7 +754,7 @@
 
 /* Text properties support */
 textprop.o : textprop.c buffer.h intervals.h $(config_h)
-intervals.o : intervals.c buffer.h intervals.h $(config_h)
+intervals.o : intervals.c buffer.h intervals.h puresize.h $(config_h)
 
 /* System-specific programs to be made.
    OTHER_FILES, OBJECTS_SYSTEM and OBJECTS_MACHINE