[cvs-nhc98] 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/tracer/runtime
In directory hinken:/tmp/cvs-serv27418/src/tracer/runtime

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

[cvs-nhc98] Set size of SAT stack via command-line -V option which alr

malcolm＠sparud.net