From ac7ec74ea672235fddc27ed80266baa2e07d16c7 Mon Sep 17 00:00:00 2001 From: SimonBoulier Date: Thu, 20 Jun 2019 18:17:21 +0200 Subject: [PATCH] Update doc/changelog/07-commands-and-options/10291-typing-flags.rst MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Théo Zimmermann --- doc/changelog/07-commands-and-options/10291-typing-flags.rst | 2 +- 1 file changed, 1 insertion(+), 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 index ef7adde801f13..813076f8e56c6 100644 --- 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 `_ by Simon Boulier).