Skip to content

coq-tests: fix error introduced by Cyril Anaclet in 0ae25c5a#743

Merged
erikmd merged 1 commit intoProofGeneral:masterfrom hendriktews:fixMar 5, 2024

Commits

Commits on Mar 3, 2024