[cvs-nhc98] patch applied (hat): Set size of SAT stack via command-line -V option which already sets

Wed Apr 11 04:34:38 PDT 2001 malcolm * Set size of SAT stack via command-line -V option which already sets the size of the runtime evaluation stack. M ./src/old/runtime/fileformat.c -5 +13 M ./src/old/runtime/fileformat.h -1 +2