remove possibly incorrect optimization
commit8bc504c2010b4a5ac91545dfc9d3ae21966f5ab8
authorskimo <skimo>
Sun, 21 Nov 2004 19:15:58 +0000 (21 19:15 +0000)
committerskimo <skimo>
Sun, 21 Nov 2004 19:15:58 +0000 (21 19:15 +0000)
tree604afce957db11ce568d8b69443e155a49e0ef98
parent611edc7b3c80cd7730db4079ae0263e0c999d42a
remove possibly incorrect optimization
barvinok.cc