diff options
Diffstat (limited to 'Test/linear/async-bug.bpl.expect')
-rw-r--r-- | Test/linear/async-bug.bpl.expect | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Test/linear/async-bug.bpl.expect b/Test/linear/async-bug.bpl.expect index 8bfe61d1..73a5eaee 100644 --- a/Test/linear/async-bug.bpl.expect +++ b/Test/linear/async-bug.bpl.expect @@ -1,3 +1,3 @@ -async-bug.bpl(11,10): Error: Const linear variable cannot be an argument for a const parameter of an async procedure call
-async-bug.bpl(16,10): Error: Const linear variable cannot be an argument for a const parameter of an async procedure call
+async-bug.bpl(21,30): Error: unavailable source for a linear read
+async-bug.bpl(28,0): Error: Input variable tid must be available at a return
2 type checking errors detected in async-bug.bpl
|