[cvs-nhc98] Improve the low-level routine to find the result of an app

Malcolm Wallace malcolm@sparud.net
Thu, 14 Feb 2002 11:48:44 +0100 (CET)


malcolm: Thu Feb 14 11:48:43 CET 2002

Update of /usr/src/master/nhc/src/hat/tools
In directory hinken:/tmp/cvs-serv27401

Modified Files:
	utils.c 
Log Message:
Improve the low-level routine to find the result of an application
in hat-explore.  If there is no SAT following the application, then
follow the parent pointer and look for a SAT after that, recursively.