Bug131.dfy.expect « dafny4 « Test - debian-dafny - Debian packaging for Dafny

summary refs log tree commit diff

path: root/Test/dafny4/Bug131.dfy.expect

blob: b4c9865266541297bff4ac9f8f2c66d52b24cc59 (plain)

1 2	`Bug131.dfy(6,13): Error: member F does not exist in class Cell 1 resolution/type errors detected in Bug131.dfy`