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

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