use be_kill_node when removing nodes
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Wed, 14 Feb 2007 10:17:02 +0000 (10:17 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Wed, 14 Feb 2007 10:17:02 +0000 (10:17 +0000)
commit8481025b9e2f2c632655f12b9ec062e858c77b8d
treef37ad4b794e4503378f4e42f37c3220c0539fd22
parentd06095424d2a3c0765b71e2fe9b79d7e01f0ddb4
use be_kill_node when removing nodes
ir/be/belower.c
ir/be/besched.c