eliminate parameters if we can
commite18da53f3226edaa12ce0617912d21b88fe3d3d9
authorskimo <skimo>
Tue, 3 Aug 2004 14:23:33 +0000 (3 14:23 +0000)
committerskimo <skimo>
Tue, 3 Aug 2004 14:23:33 +0000 (3 14:23 +0000)
treebbd7567bcded0bee8ff92c768f17491b560ce186
parent6fa6734169a816a221ba0212183c76d714df7302
eliminate parameters if we can
barvinok.cc