[m-rev.] diff: double default nondet stack size

[Zoltan Somogyi]

runtime/mercury_wrapper.c:
	Double the default size of the nondet stack. This is needed to allow
	a compiler compiled in a debugging grade to compile options.m. Since
	the nondet stack is still much smaller than the det stack, the space
	impact is negligible.

Zoltan.

Index: mercury_wrapper.c
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/runtime/mercury_wrapper.c,v
retrieving revision 1.122
diff -u -b -r1.122 mercury_wrapper.c
--- mercury_wrapper.c	14 Sep 2003 22:24:37 -0000	1.122
+++ mercury_wrapper.c	16 Oct 2003 05:22:21 -0000
@@ -63,7 +63,7 @@
   size_t	MR_heap_size =			4096;
 #endif
 size_t		MR_detstack_size =		4096;
-size_t		MR_nondstack_size =	 	 128;
+size_t		MR_nondstack_size =	 	 256;
 size_t		MR_solutions_heap_size =	1024;
 size_t		MR_global_heap_size =		1024;
 size_t		MR_trail_size =			 128;
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------