Update doc/changelog/07-commands-and-options/10291-typing-flags.rst

Co-Authored-By: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
coq · Jun 20, 2019 · ac7ec74 · ac7ec74
1 parent ab4eb54
commit ac7ec74
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/changelog/07-commands-and-options/10291-typing-flags.rst b/doc/changelog/07-commands-and-options/10291-typing-flags.rst
@@ -1,4 +1,4 @@
-- Adding unsafe commands to enable/disable guard checking, positivity checking
+- New unsafe commands to enable/disable guard checking, positivity checking
   and universes checking (providing a local `-type-in-type`).
   See :ref:`controlling-typing-flags`.
   (`#10291 <https://github.com/coq/coq/pull/10291>`_ by Simon Boulier).