aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/success/Cases-bug3758.v
Commit message (Collapse)AuthorAge
* Fixing an evar leak in pattern-matching compilation (#3758).Gravatar Hugo Herbelin2014-10-22