blob: bb1bf9e789fe5cd46842b549b1877f1b3e91901a (
plain)
1
2
3
4
|
- **Fixed:**
``coqchk`` no longer reports names from inner modules of opaque modules as
axioms (`#12862 <https://github.com/coq/coq/pull/12862>`_, fixes `#12845
<https://github.com/coq/coq/issues/12845>`_, by Jason Gross).
|
