[mc] enable model-check/record by default, and cosmetics

[simgrid.git] / docs / source / community.rst

diff --git a/docs/source/community.rst b/docs/source/community.rst
index fe4daddf940a269d8d5d5d1f4406d45e5a9fbf63..88d5a5f875fee5f0e88e720b4e17b134906ceba6 100644 (file)
--- a/docs/source/community.rst
+++ b/docs/source/community.rst
@@ -165,9 +165,9 @@ Futures and Promises
 """"""""""""""""""""
 
  - Some features are missing in the Maestro future implementation
-  (`simgrid::kernel::Future`, `simgrid::kernel::Promise`)
-  could be extended to support additional features:
-  `when_any`, `shared_future`, etc.
+   (`simgrid::kernel::Future`, `simgrid::kernel::Promise`)
+   could be extended to support additional features:
+   `when_any`, `shared_future`, etc.
 
  - The corresponding feature might then be implemented in the user process
    futures (`simgrid::simix::Future`).