From a3b78a289d5a061970136ce297b50ece1c13b0e4 Mon Sep 17 00:00:00 2001
From: Frédéric Besson
Date: Mon, 25 Jan 2021 10:18:32 +0100
Subject: Update doc/changelog/04-tactics/13781-deprecate_micromega_options.rst

Co-authored-by: Jim Fehrle <jim.fehrle@gmail.com>---
 doc/changelog/04-tactics/13781-deprecate_micromega_options.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/changelog/04-tactics/13781-deprecate_micromega_options.rst b/doc/changelog/04-tactics/13781-deprecate_micromega_options.rst
index 5f71203140..e3375bd875 100644
--- a/doc/changelog/04-tactics/13781-deprecate_micromega_options.rst
+++ b/doc/changelog/04-tactics/13781-deprecate_micromega_options.rst
@@ -1,3 +1,3 @@
 - **Deprecated:**
-  The micromega option :flag:`Simplex` is deprecated. It is already set by default and will be removed.
+  The micromega option :flag:`Simplex`, which is currently set by default
   (`#13781 <https://github.com/coq/coq/pull/13781>`_, by Frédéric Besson).
-- 
cgit v1.2.3