summaryrefslogtreecommitdiff
path: root/test/files/run/reify_copypaste2.check
Commit message (Expand)AuthorAgeFilesLines
* term and type reftrees are now reified uniformlyEugene Burmako2013-02-081-1/+1
* repairs the tests after the refactoring spreeEugene Burmako2012-06-081-0/+1