aboutsummaryrefslogtreecommitdiff
path: root/test-suite/bugs/closed/3743.v
AgeCommit message (Expand)Author
2015-12-31Put implicits back as in 8.4.Matthieu Sozeau
2015-07-22test-suite: add test for bug# 3743.Matthieu Sozeau