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

[Malcolm Wallace]

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