[cvs-nhc98] patch applied (hat): Accept TR nodes with the `8' bit set to indicate SAT without APP.

Tue May 8 06:49:24 PDT 2001 colin * Accept TR nodes with the `8' bit set to indicate SAT without APP. M ./src/hattools/hat-check.c -24 +4