aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/6956.v
Commit message (Collapse)AuthorAge
* Fix #6956: Uncaught exception in bytecode compilationGravatar Maxime Dénès2018-04-06
We also make the code of [compact] in kernel/univ.ml a bit clearer.