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

Malcolm Wallace malcolm@sparud.net
Mon, 4 Mar 2002 17:56:47 +0100 (CET)


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.