blob: 68ae4591a49a145bdda759a6006f1381297e46fa (
plain)
1
2
3
4
5
|
- Fix extraction to OCaml of primitive machine integers;
see :ref:`primitive-integers`
(`#10430 <https://github.com/coq/coq/pull/10430>`_,
fixes `#10361 <https://github.com/coq/coq/issues/10361>`_,
by Vincent Laporte).
|
