From c878a5e2c0c2a01512e263d3ed2dfdd8e611086f Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Tue, 25 Jun 2019 09:10:44 +0000
Subject: [Extraction] Add support for primitive integers

The ExtrOCamlInt63 module can be required to map primitives from the Int63
module to their OCaml implementation (module Uint63 from the kernel).
---
 doc/changelog/08-tools/10430-extraction-int63.rst | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 doc/changelog/08-tools/10430-extraction-int63.rst

(limited to 'doc/changelog')

diff --git a/doc/changelog/08-tools/10430-extraction-int63.rst b/doc/changelog/08-tools/10430-extraction-int63.rst
new file mode 100644
index 0000000000..68ae4591a4
--- /dev/null
+++ b/doc/changelog/08-tools/10430-extraction-int63.rst
@@ -0,0 +1,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).
-- 
cgit v1.2.3