summaryrefslogtreecommitdiff
path: root/Test/dafny4/Bug55.dfy.expect
Commit message (Expand)AuthorAge
* Fix issue #55 and #64. When performing type argument substitution for functionGravatar qunyanm2015-03-16