summaryrefslogtreecommitdiff
path: root/Test/dafny4/Bug111.dfy.expect
Commit message (Expand)AuthorAge
* Fix issue 111. Create a new BoundVar for each CasePattern of MatchCaseExpr whenGravatar qunyanm2015-11-30