Adjust the push-through-perm-frontier: It is the problematic node itself, not its...
authorChristoph Mallon <christoph.mallon@gmx.de>
Thu, 21 Aug 2008 14:20:18 +0000 (14:20 +0000)
committerChristoph Mallon <christoph.mallon@gmx.de>
Thu, 21 Aug 2008 14:20:18 +0000 (14:20 +0000)
commit5df24f1ce8edbb58a3d36ed0db03ce8dda9d1e45
tree3410b90384f011a31a1e2853c191c6d95efa1a4a
parent5e4ff0e41400e294b50b52062fc29f48fa624287
Adjust the push-through-perm-frontier: It is the problematic node itself, not its successor.

[r21321]
ir/be/belower.c