Ensure that first variable is made negative inside SplitOnVar.
commit3d08616aa65660afbce3d383596548158a6f0596
authorskimo <skimo>
Fri, 30 Jul 2004 12:55:36 +0000 (30 12:55 +0000)
committerskimo <skimo>
Fri, 30 Jul 2004 12:55:36 +0000 (30 12:55 +0000)
tree162c3e921ba36e2326b31e447f5cabcca1f6873f
parent3ed5b9a7f3a6a11cec751ca5933b2ed60e76f59e
Ensure that first variable is made negative inside SplitOnVar.
barvinok.cc