[cvs-nhc98] patch applied (hat): In hat-observe, check whether the *result* of a CAF contains the

[Malcolm Wallace]

Tue Jun  4 02:33:27 PDT 2002  malcolm
  * 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.

    M ./src/hattools/observeutils.c -3 +131
    M ./src/hattools/observeutils.h +3