| Index: pkg/compiler/lib/src/cps_ir/octagon.dart
|
| diff --git a/pkg/compiler/lib/src/cps_ir/octagon.dart b/pkg/compiler/lib/src/cps_ir/octagon.dart
|
| index 691c15d9caa97f55d00b56584ed8cfd81dcefbdb..83feb7742cd4e34eb351aa806b1aac224cc6f107 100644
|
| --- a/pkg/compiler/lib/src/cps_ir/octagon.dart
|
| +++ b/pkg/compiler/lib/src/cps_ir/octagon.dart
|
| @@ -72,8 +72,8 @@ class Octagon {
|
| SignedVariable v1 = new SignedVariable._make();
|
| if (min != null) {
|
| // v1 >= min <==> -v1 - v1 <= -2 * min
|
| - v1.negated._constraints.add(
|
| - new Constraint(v1.negated, v1.negated, -2 * min));
|
| + v1.negated._constraints
|
| + .add(new Constraint(v1.negated, v1.negated, -2 * min));
|
| }
|
| if (max != null) {
|
| // v1 <= max <==> v1 + v1 <= 2 * max
|
|
|