MutableField.dfy.expect « hofs « Test - debian-dafny - Debian packaging for Dafny

summary refs log tree commit diff

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`