summaryrefslogtreecommitdiff
path: root/Test/dafny4/Bug94.dfy
Commit message (Expand)AuthorAge
* Fix issue 94. Allow tuple-based assignment in statement contexts.Gravatar qunyanm2015-11-14