From e7b83e2a07fffaba0b19c62ef1a02c40d6ef603a Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi
Date: Fri, 20 Sep 2019 18:58:51 +0200
Subject: Make `zify` does work for `Z.to_N`

---
 doc/changelog/04-tactics/10774-zify-Z_to_N.rst | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 doc/changelog/04-tactics/10774-zify-Z_to_N.rst

(limited to 'doc')

diff --git a/doc/changelog/04-tactics/10774-zify-Z_to_N.rst b/doc/changelog/04-tactics/10774-zify-Z_to_N.rst
new file mode 100644
index 0000000000..ed46cb101e
--- /dev/null
+++ b/doc/changelog/04-tactics/10774-zify-Z_to_N.rst
@@ -0,0 +1,3 @@
+- The :tacn:`zify` tactic is now aware of `Z.to_N`.
+  (`#10774 <https://github.com/coq/coq/pull/10774>`_ fixes
+  `#9162 <https://github.com/coq/coq/issues/9162>`_, by Kazuhiko Sakaguchi).
-- 
cgit v1.2.3