Skip to content

Restore compatibility with OCaml < 4.13#1023

Merged
JasonGross merged 1 commit intoMetaCoq:coq-8.17from JasonGross:coq-8.17+4.11-compatJan 24, 2024

Commits

Commits on Nov 30, 2023