aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/shouldsucceed/1718.v
Commit message (Expand)AuthorAge
* Correction bug 1718 (lazy delta unfolding used to miss delta on rels and vars)Gravatar herbelin2007-10-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-09 13:27:13 +0000