# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 1002526969 0
# Node ID a6d0c76cc76ce1bd4b19b4e3e6d7799514af323f
# Parent  f4bcbd3b2222b8fdb2193ab21d4008f201d6278f
(BASE_PURESIZE): Increase to 725000.

diff -r f4bcbd3b2222 -r a6d0c76cc76c src/puresize.h
--- a/src/puresize.h	Mon Oct 08 06:58:32 2001 +0000
+++ b/src/puresize.h	Mon Oct 08 07:42:49 2001 +0000
@@ -42,7 +42,7 @@
 #endif
 
 #ifndef BASE_PURESIZE
-#define BASE_PURESIZE (700000 + SYSTEM_PURESIZE_EXTRA + SITELOAD_PURESIZE_EXTRA)
+#define BASE_PURESIZE (725000 + SYSTEM_PURESIZE_EXTRA + SITELOAD_PURESIZE_EXTRA)
 #endif
 
 /* Increase BASE_PURESIZE by a ratio depending on the machine's word size.  */