Set size of SAT stack via command-line -V option which alr

11 Apr 2001


      malcolm: Wed Apr 11 13:34:38 CEST 2001

Update of /usr/src/master/nhc/src/runtime/Kernel
In directory hinken:/tmp/cvs-serv27418/src/runtime/Kernel

Modified Files:
	haskellInit.c 
Log Message:
Set size of SAT stack via command-line -V option which already sets
the size of the runtime evaluation stack.

malcolm＠sparud.net

tags

participants (1)