diff options
Diffstat (limited to 'Test/test0/Arrays1.bpl.expect')
| -rw-r--r-- | Test/test0/Arrays1.bpl.expect | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Test/test0/Arrays1.bpl.expect b/Test/test0/Arrays1.bpl.expect deleted file mode 100644 index 534096ac..00000000 --- a/Test/test0/Arrays1.bpl.expect +++ /dev/null @@ -1,3 +0,0 @@ -Arrays1.bpl(13,11): Error: command assigns to a global variable that is not in the enclosing procedure's modifies clause: Q -Arrays1.bpl(16,15): Error: command assigns to a global variable that is not in the enclosing procedure's modifies clause: Q -2 type checking errors detected in Arrays1.bpl |