add defined for verification enums
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 13 Jan 2006 21:45:38 +0000 (21:45 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 13 Jan 2006 21:45:38 +0000 (21:45 +0000)
commit7ff0120177cdbcab832141d83bc9ff586fb98ed9
tree28d1ef900348ac4e187fee3d66dcf5ae65e4c00d
parent0cc93d3fead0f6449819363460ef27282551f148
add defined for verification enums

[r7227]
ir/common/old_fctnames.h