aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/4132.v
Commit message (Expand)AuthorAge
* Omega: use "simpl" only on coefficents, not on atoms (fix #4132)Gravatar Pierre Letouzey2017-05-29