added sequence numbers for a pair of (filename, lineno)
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 14 Jul 2005 14:08:25 +0000 (14:08 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 14 Jul 2005 14:08:25 +0000 (14:08 +0000)
commit02be155780584ba0b64cc0acc516a1e91638129c
tree4c490412c239086c4806aa8b0563e16f5557278b
parent26516d16e923b5e1312daad53fcccdbd5645ddad
added sequence numbers for a pair of (filename, lineno)

[r6225]
ir/debug/Makefile.in
ir/debug/seqnumbers.c [new file with mode: 0644]
ir/debug/seqnumbers.h [new file with mode: 0644]