improved verify message
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 14 Dec 2007 15:23:16 +0000 (15:23 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 14 Dec 2007 15:23:16 +0000 (15:23 +0000)
commit5e62beee699b19e66fa0ab631ff10560e04594b4
tree30f32c4fd837d24d12b1aa57acca0764dfcec43a
parent7bf9fdac5c995fc159253d5dacf51802db724409
improved verify message

[r16982]
ir/ir/irvrfy.c