[cvs-nhc98] In hat-observe, check whether the *result* of a CAF contai

[Malcolm Wallace]

malcolm: Tue Jun  4 11:33:28 CEST 2002

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

Modified Files:
	observe.h observe.c 
Log Message:
In hat-observe, check whether the *result* of a CAF contains the
function symbol we are looking for.  This restores some equations
that were previously missing.