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

[Malcolm Wallace]

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