diff options
Diffstat (limited to 'Chalice/tests/regressions/internal-bug-3.chalice')
-rw-r--r-- | Chalice/tests/regressions/internal-bug-3.chalice | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/Chalice/tests/regressions/internal-bug-3.chalice b/Chalice/tests/regressions/internal-bug-3.chalice deleted file mode 100644 index 17b6dd25..00000000 --- a/Chalice/tests/regressions/internal-bug-3.chalice +++ /dev/null @@ -1,8 +0,0 @@ -class C
-{
- var f: int
- method M ()
- requires acc(f, 100-rd(non_existing_field))
- {
- }
-}
|