dont push constrained nodes through perms (fixes fehler82)
authorMatthias Braun <matze@braunis.de>
Wed, 26 Sep 2007 19:48:22 +0000 (19:48 +0000)
committerMatthias Braun <matze@braunis.de>
Wed, 26 Sep 2007 19:48:22 +0000 (19:48 +0000)
commit8e6e30083438c8ab08bb7c8422a1fdbcbd16d51c
tree8d61e88e815a21149aca837b9d6ec041c3e16357
parentf97b2ec70a54f112c2726cff25f49bd3c1d4b302
dont push constrained nodes through perms (fixes fehler82)

[r15932]
ir/be/belower.c