summaryrefslogtreecommitdiff
path: root/Test/dafny4/Bug134.dfy.expect
Commit message (Expand)AuthorAge
* Fix issue 134. Wrong variable was used in the loop.Gravatar qunyanm2016-02-11