doc: Rework the intro pages

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

diff --git a/docs/source/XML_reference.rst b/docs/source/XML_reference.rst
index a7619f3ad0616a04daca7108f9d84ca1c3b7b2ed..dad879d7bbc6a39611515ea9e5fd1d25e6f5b8c8 100644 (file)
--- a/docs/source/XML_reference.rst
+++ b/docs/source/XML_reference.rst
@@ -132,7 +132,7 @@ name of the flag and ``value`` is what it has to be set to.
    <!DOCTYPE platform SYSTEM "https://simgrid.org/simgrid.dtd">
    <platform version = "4.1">
      <config>
-       <prop id = "maxmin/precision" value = "0.000010" />
+       <prop id = "precision/work-amount" value = "0.000010" />
        <prop id = "cpu/optim" value = "TI" />
        <prop id = "network/model" value = "SMPI" />
        <prop id = "network/bandwidth-factor" value = "65472:0.940694;15424:0.697866;9376:0.58729" />