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: 0c9ecb8328cd9ef7086d0d1e63e7b80a680fd34d (plain)

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