fixed verifyer for Free
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 7 Feb 2005 12:08:57 +0000 (12:08 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 7 Feb 2005 12:08:57 +0000 (12:08 +0000)
commit095637c0b14b62d2216d849a4d5f401dd01fe12c
tree5e524cd70d31b47f80343257dc17187feabbdf05
parentf68d9027a33212daf29632d414b4247d5d05b2ff
fixed verifyer for Free

[r5036]
ir/ir/irvrfy.c