use addeliminatedparams_evalue
commitcdd7403de9313c5d0620f56c0e7a5f41d8c165b2
authorskimo <skimo>
Mon, 22 Dec 2003 10:46:01 +0000 (22 10:46 +0000)
committerskimo <skimo>
Mon, 22 Dec 2003 10:46:01 +0000 (22 10:46 +0000)
tree09d8b2774039d8623cbd9723af3d6ba327de1d35
parent0f6434a94aac43f04347963d6f4c02d151bd37ae
use addeliminatedparams_evalue
barvinok.cc