fixed Push creation (use new constants for get_irn_n() calls)
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 20 Sep 2007 13:16:36 +0000 (13:16 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Thu, 20 Sep 2007 13:16:36 +0000 (13:16 +0000)
[r15905]


No differences found