aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/5321.v
Commit message (Collapse)AuthorAge
* Add a test for bug #5321: clearbody breaks typing of goal.Gravatar Pierre-Marie Pédrot2017-04-17
The bug has been solved as a side-effect of the EConstr branch.