| Index: test/regression/100.stmt
|
| diff --git a/test/regression/100.stmt b/test/regression/100.stmt
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..8c7d93fe27e8b30aabdef30f72f205d1b4c923c6
|
| --- /dev/null
|
| +++ b/test/regression/100.stmt
|
| @@ -0,0 +1,14 @@
|
| +>>> (indent 2)
|
| + void incrementalAdd(Constraint c) {
|
| + int mark = newMark();
|
| + for (Constraint overridden = c.satisfy(mark);
|
| + overridden != null;
|
| + overridden = overridden.satisfy(mark));
|
| + }
|
| +<<<
|
| + void incrementalAdd(Constraint c) {
|
| + int mark = newMark();
|
| + for (Constraint overridden = c.satisfy(mark);
|
| + overridden != null;
|
| + overridden = overridden.satisfy(mark));
|
| + }
|
|
|