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)); |
+ } |