BugFix: tarval_cmp(NaN, NaN) was wrongly evaluated to Eq, now is evaluated to Uo
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 20 Jun 2005 09:05:01 +0000 (09:05 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Mon, 20 Jun 2005 09:05:01 +0000 (09:05 +0000)
commit3c13a8360c3d732fd07290419afadf7bb87707e9
tree8cdc8e7c667e18b586c52de4526aa3f4a34658ec
parent6af0195ad537c00d0a9e82d3516bfab9e21852ba
BugFix: tarval_cmp(NaN, NaN) was wrongly evaluated to Eq, now is evaluated to Uo
as needed for IEEE-754

[r6072]
ir/tv/tv.c