fixed the type of the entity number
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 21 Feb 2006 14:02:11 +0000 (14:02 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Tue, 21 Feb 2006 14:02:11 +0000 (14:02 +0000)
commite70c22e8aa4cc93e7d72f58453c03cb9bd797e31
tree71735e6d5917c58743963e5c077384025a73ccbe
parent65428c81af9df173c749ab7b94e54446682ee53c
fixed the type of the entity number

[r7368]
ir/tr/entity_t.h