Thu Aug 16 07:11:06 PDT 2001 thorsten * Fix final problem for hat-observe: applications may indeed reference name nodes, which are somewhere forward in the Redex Trail file, as SAT nodes may point forward. So, the argumentation saying "it's enough to make a linear scan through a file" to find all concerning application nodes is finally disproved. New solution implemented: - use same approach as before, as long as function references point backwards (fortunately almost always the case) - if the function reference of an application eventually references a forward node (very rare case), then follow the entire reference to find out, whether it's an application of interest or not. M ./src/hattools/hat-observe.c +1 M ./src/hattools/observeutils.c -3 +8