Handle ONE_NEG for any position of the variable correctly
commitaabb6827d05458e3588f7f8f25b2c0d587c1ef57
authorskimo <skimo>
Sun, 25 Jan 2004 20:08:47 +0000 (25 20:08 +0000)
committerskimo <skimo>
Sun, 25 Jan 2004 20:08:47 +0000 (25 20:08 +0000)
tree379474f93a372c9e907dfce5a47f507cb3c2309f
parent5cfbe04ee258f1ac2c0b2ca75975ffb252e5dd65
Handle ONE_NEG for any position of the variable correctly
barvinok.cc