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.