verify is NOT done in RELEASE mode, add inline header
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 8 Jul 2004 15:08:06 +0000 (15:08 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 8 Jul 2004 15:08:06 +0000 (15:08 +0000)
commit3ad4fc7b25e4979906f1b8290c4d2772eed5dcbb
treebb1d3bfd1d18dbbe156bd7e759cc832b501fbfe4
parentc3c48d7bd83f042cc2951754377de928d66fe51e
verify is NOT done in RELEASE mode, add inline header

[r3370]
ir/ir/ircons.c
ir/ir/ircons_t.h [new file with mode: 0644]