remove unnecessary and unused be_empty_set
authorMatthias Braun <matze@braunis.de>
Mon, 31 May 2010 11:29:00 +0000 (11:29 +0000)
committerMatthias Braun <matze@braunis.de>
Mon, 31 May 2010 11:29:00 +0000 (11:29 +0000)
commitc32d8f901721889129c189f2c946ad97f233c752
treee9772a479c2a0b4a9bb55a6987d7a8e4f63f4c23
parent012c6aef388bc20594591520b05c143ee4e6d074
remove unnecessary and unused be_empty_set

[r27614]
ir/be/beutil.c
ir/be/beutil.h