[cvs-nhc98] patch applied (hat): - removed " forgotten" debugging code from hat-detect

[Malcolm Wallace]

Sat May 19 12:28:41 PDT 2001  thorsten
  * - removed "forgotten" debugging code from hat-detect
  - fixed problem with "hidden" parents in hat-detect
  - hat-observe: fixed problem with applications with a function trace
    to a SAT, which references the searched identifier in observe.c

    M ./src/hattools/hat-detect.c +3
    M ./src/hattools/hatfileops.c -1 +5
    M ./src/hattools/observeutils.c -7 +12