[cvs-nhc98] patch applied (hat): Lowlevel getResult() routine should check for a SAT after a TNm,

10 Oct 2006


      Mon Mar  4 08:56:47 PST 2002  malcolm
  * 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.

    M ./src/hattools/utils.c +25

[cvs-nhc98] patch applied (hat): Lowlevel getResult() routine should check for a SAT after a TNm,

Malcolm Wallace