summaryrefslogtreecommitdiff
path: root/Test/hofs/LambdaParsefail2.dfy.expect
diff options
context:
space:
mode:
authorGravatar qunyanm <unknown>2016-03-31 14:43:46 -0700
committerGravatar qunyanm <unknown>2016-03-31 14:43:46 -0700
commit31b0c4345b02b2314ca92a032ce90fbfdf66d1e8 (patch)
treea7b46d9a6db9f6cdf8d9197fc44354bc0462c27e /Test/hofs/LambdaParsefail2.dfy.expect
parent8b9126340fb1b5c5c4abe67b940911b675d22c63 (diff)
Allow modifies clauses for a "Main" method annotated with {:main} attribute.
Diffstat (limited to 'Test/hofs/LambdaParsefail2.dfy.expect')
0 files changed, 0 insertions, 0 deletions