be careful when the validity domain contain equalities
commit3cd406a03d0d76e5bbfd72643906c56ffc77ec77
authorskimo <skimo>
Thu, 3 Jun 2004 12:37:40 +0000 (3 12:37 +0000)
committerskimo <skimo>
Thu, 3 Jun 2004 12:37:40 +0000 (3 12:37 +0000)
treef0b83d7d36c09de0596e6ba5d2402fc96cd24aec
parentc6d03dc3c945b9496cd5548d50905d35cf0e2476
be careful when the validity domain contain equalities
barvinok.cc