diff options
Diffstat (limited to 'Chalice/tests/regressions/workitem-10222.chalice')
| -rw-r--r-- | Chalice/tests/regressions/workitem-10222.chalice | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Chalice/tests/regressions/workitem-10222.chalice b/Chalice/tests/regressions/workitem-10222.chalice deleted file mode 100644 index a01253c9..00000000 --- a/Chalice/tests/regressions/workitem-10222.chalice +++ /dev/null @@ -1,8 +0,0 @@ -class Test { - var t: Test; - - // previously, mentioning "waitlevel" in a predicate did not cause an error - predicate inv { - acc(t) && acc(t.mu) && t.mu << waitlevel - } -} |