summaryrefslogtreecommitdiff
path: root/Test/dafny0/Trait/Traits-Fields.dfy.expect
Commit message (Collapse)AuthorAge
* - fixed a bug in merging fields that come from a parent traitGravatar Reza Ahmadi2014-12-02
- added one more test