[cvs-nhc98] Lowlevel getResult() routine should check for a SAT after

malcolm: Mon Mar 4 17:56:47 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv18597 Modified Files: utils.c Log Message: Lowlevel getResult() routine should check for a SAT after a TNm, not only after a TAp. This fixes hat-explore so that = always shows a result.