aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/validate-tree/invalid/assumption-macro_call (follow)
Commit message (Expand)AuthorAgeFilesLines
* mds-kbdc: m + add argument count suffix to macro calls during simplificationMattias Andrée2014-12-041-0/+15