diff options
Diffstat (limited to 'doc/changelog/04-tactics/11362-micromega-fix-11191.rst')
| -rw-r--r-- | doc/changelog/04-tactics/11362-micromega-fix-11191.rst | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/changelog/04-tactics/11362-micromega-fix-11191.rst b/doc/changelog/04-tactics/11362-micromega-fix-11191.rst deleted file mode 100644 index 20d48929f2..0000000000 --- a/doc/changelog/04-tactics/11362-micromega-fix-11191.rst +++ /dev/null @@ -1,8 +0,0 @@ -- **Fixed:** - :tacn:`zify` now handles :g:`Z.pow_pos` by default. - In Coq 8.11, this was the case only when loading module - :g:`ZifyPow` because this triggered a regression of :tacn:`lia`. - The regression is now fixed, and the module kept only for compatibility - (`#11362 <https://github.com/coq/coq/pull/11362>`_, - fixes `#11191 <https://github.com/coq/coq/issues/11191>`_, - by Frédéric Besson). |