barvinok_maximize: fix detection of end of domain specification
commit3a51273a71975d9558f32755247a9b34ca552900
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 28 Feb 2007 13:20:26 +0000 (28 14:20 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 28 Feb 2007 13:20:26 +0000 (28 14:20 +0100)
tree835716aed05eb3450a1c7f8f5705e256d5e5d94c
parent144133e6d7567a6294f5fb29afecbd8cc225a637
barvinok_maximize: fix detection of end of domain specification

The detection was broken in 2fa98813fdbcab1e55a9fb699343196f6c01ec56.
maximize.cc