... | ... |
@@ -1231,6 +1231,6 @@ |
1231 | 1231 |
c.expr().simplify(); |
1232 |
r._id = _addRowId(_addRow(c.lowerBounded()?c.lowerBound():-INF, |
|
1232 |
r._id = _addRowId(_addRow(c.lowerBounded()?c.lowerBound()-*c.expr():-INF, |
|
1233 | 1233 |
ExprIterator(c.expr().comps.begin(), cols), |
1234 | 1234 |
ExprIterator(c.expr().comps.end(), cols), |
1235 |
c.upperBounded()?c.upperBound():INF)); |
|
1235 |
c.upperBounded()?c.upperBound()-*c.expr():INF)); |
|
1236 | 1236 |
return r; |
0 comments (0 inline)