[cvs-nhc98] patch applied (hat): Distinguish toplevel identifiers from locally defined identifiers in

Thu Oct 11 07:24:01 PDT 2001 malcolm * Distinguish toplevel identifiers from locally defined identifiers in the .hat file. Update the tools to use this marker instead of guessing based on the source reference column position. M ./src/hattools/Expressions.c +2 M ./src/hattools/detect.c +1 M ./src/hattools/hat-check.c +11 M ./src/hattools/hat-checki.c +1 M ./src/hattools/hatfile.h +2 M ./src/hattools/hatinterface.c -4 +8 M ./src/hattools/utils.c -2 +2 M ./src/old/runtime/fileformat.c -1 +4 M ./src/old/runtime/ident.c -2 +8 M ./src/old/runtime/trust.c +2