Lowlevel getResult() routine should check for a SAT after

4 Mar 2002


      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.

malcolm＠sparud.net

tags

participants (1)