[m-dev.] diff: fix default stack size documentation

[Fergus Henderson]

For both main and release branches...

----------

Estimated hours taken: 0.25

doc/user_guide.texi:
	Fix the documentation of the default stack sizes
	to match what the runtime system actually uses:
	the default detstack size is 4M, not 512k.

Workspace: /home/pgrad/fjh/ws/hg
Index: doc/user_guide.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/user_guide.texi,v
retrieving revision 1.227
diff -u -d -r1.227 user_guide.texi
--- doc/user_guide.texi	2000/11/17 17:50:24	1.227
+++ doc/user_guide.texi	2000/12/18 14:19:39
@@ -320,7 +320,7 @@
 
 The det stack and the nondet stack
 are allocated fixed sizes at program start-up.
-The default size is 512k for the det stack and 128k for the nondet stack,
+The default size is 4096k for the det stack and 128k for the nondet stack,
 but these can be overridden with the
 @samp{--detstack-size} and @samp{--nondetstack-size} options,
 whose arguments are the desired sizes of the det and nondet stacks

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------