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.