thorsten: Thu Aug 16 16:11:06 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv14420 Modified Files: hat-observe.c observe.c Log Message: 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.