Small improvements to the changelog and doc

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

diff --git a/docs/source/Configuring_SimGrid.rst b/docs/source/Configuring_SimGrid.rst
index 71d9361..936857d 100644 (file)
--- a/docs/source/Configuring_SimGrid.rst
+++ b/docs/source/Configuring_SimGrid.rst
@@ -1341,8 +1341,8 @@ It might affect the total timing by the cost of a barrier.
 
 .. _cfg=smpi/errors-are-fatal:
 
-Render MPI errors non-fatal
-...........................
+Disable MPI fatal errors
+........................
 
 **Option** ``smpi/errors-are-fatal`` **default:** on