From ba8783c42ad3e2b22d917336ce5e52245d09441b Mon Sep 17 00:00:00 2001
From: Vincent Semeria
Date: Fri, 27 Mar 2020 23:06:01 +0100
Subject: Fix changelog

---
 doc/changelog/10-standard-library/11725-cleanup-reals.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/changelog/10-standard-library/11725-cleanup-reals.rst b/doc/changelog/10-standard-library/11725-cleanup-reals.rst
index 84a8ceb514..02ee7e6c70 100644
--- a/doc/changelog/10-standard-library/11725-cleanup-reals.rst
+++ b/doc/changelog/10-standard-library/11725-cleanup-reals.rst
@@ -1,5 +1,5 @@
 - **Changed:**
-Use implicit arguments for ``ConstructiveReals``. Move ``ConstructiveReals``
+  Use implicit arguments for ``ConstructiveReals``. Move ``ConstructiveReals``
   into new directory ``Abstract``. Remove imports of implementations inside
   those ``Abstract`` files. Move implementation by means of Cauchy sequences in new directory ``Cauchy``.
   (`#11725 <https://github.com/coq/coq/pull/11725>`_,
-- 
cgit v1.2.3