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

summary refs log tree commit diff

path: root/Test/hofs/LambdaParsefail2.dfy.expect

blob: 1a6a65dccda94896ac0454109d82333896782aa7 (plain)

1 2	`LambdaParsefail2.dfy(6,38): Error: invalid LambdaArrow 1 parse errors detected in LambdaParsefail2.dfy`