aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/3562.v
Commit message (Expand)AuthorAge
* Fixing #3562 ("as" in "destruct" expects either a disjunctiveGravatar Hugo Herbelin2014-11-07