aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/5501.v
Commit message (Collapse)AuthorAge
* Fix bug #5501: Universe polymorphism breaks proof involving auto.Gravatar Pierre-Marie Pédrot2017-04-30
A universe substitution was lacking as the normalized evar map was dropped.