summaryrefslogtreecommitdiff
path: root/tests/mproj.urp
Commit message (Collapse)AuthorAge
* Fix a bug in type class enrichment from substructuresGravatar Adam Chlipala2009-06-16