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

Malcolm Wallace malcolm@sparud.net
Wed, 11 Apr 2001 13:34:38 +0200 (CEST) 

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.