barvinok_maximize: fix handling of UNIONs in domains.
commit07c533c5881219617fab75985f650919fd85a860
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 28 Feb 2007 16:30:51 +0000 (28 17:30 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 28 Feb 2007 16:32:02 +0000 (28 17:32 +0100)
tree81d4cdfbd954e43f1223c81da67834ca8b76066c
parent520ed4571a8d8e521401e9e80d0730a5eee4889f
barvinok_maximize: fix handling of UNIONs in domains.

Broken in 3a51273a71975d9558f32755247a9b34ca552900.
maximize.cc