From b2c3eca7277ee9653e387ad3b599150b17c38572 Mon Sep 17 00:00:00 2001
From: Frédéric Besson
Date: Thu, 3 Oct 2019 15:34:04 +0200
Subject: fix 10765-micromega-caches.rst

---
 doc/changelog/04-tactics/10765-micromega-caches.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/changelog/04-tactics/10765-micromega-caches.rst b/doc/changelog/04-tactics/10765-micromega-caches.rst
index 8436b66ec0..12d8f68e63 100644
--- a/doc/changelog/04-tactics/10765-micromega-caches.rst
+++ b/doc/changelog/04-tactics/10765-micromega-caches.rst
@@ -1,3 +1,3 @@
 - Introduction of flags :flag:`Lia Cache`, :flag:`Nia Cache` and :flag:`Nra Cache`.
   (see `#10772 <https://github.com/coq/coq/issues/10772>`_ for use case)
-(`#10765 <https://github.com/coq/coq/pull/10765>`_ fixes `#10772 <https://github.com/coq/coq/issues/10772>`_ , by Frédéric Besson).
+  (`#10765 <https://github.com/coq/coq/pull/10765>`_ fixes `#10772 <https://github.com/coq/coq/issues/10772>`_ , by Frédéric Besson).
-- 
cgit v1.2.3