summaryrefslogtreecommitdiff
path: root/Test/hofs/MutableField.dfy.expect
blob: 1ffdc239585ec923e02090db87d87f70a1b5ed25 (plain)
1
2
MutableField.dfy(12,4): Error: LHS of assignment must denote a mutable field
1 resolution/type errors detected in MutableField.dfy