# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 780366902 0
# Node ID ee5972fe23586b894d3b5df614bd7414a88cd934
# Parent  a868cf97500f318c8180e22b62a61b36a8fcd097
(DK_HEADER_FILE): Macro deleted.

diff -r a868cf97500f -r ee5972fe2358 src/m/next.h
--- a/src/m/next.h	Sat Sep 24 00:34:23 1994 +0000
+++ b/src/m/next.h	Sat Sep 24 00:35:02 1994 +0000
@@ -60,10 +60,6 @@
 
 #define A_TEXT_OFFSET(HDR) sizeof (HDR)
 
-/* Use dk.h, not dkstat.h, in loadst.c.  */
-
-#define DK_HEADER_FILE
-
 /* Mask for address bits within a memory segment */
 
 #define SEGSIZ 0x20000