Rename option maxmin/precision to precision/work-amount for clarity

[simgrid.git] / examples / platforms / config.xml

diff --git a/examples/platforms/config.xml b/examples/platforms/config.xml
index b524bf1..6ab6432 100644 (file)
--- a/examples/platforms/config.xml
+++ b/examples/platforms/config.xml
@@ -2,7 +2,7 @@
 <!DOCTYPE platform SYSTEM "https://simgrid.org/simgrid.dtd">
 <platform version="4.1">
   <config id="General">
-    <prop id="maxmin/precision" value="0.000010"></prop>
+    <prop id="precision/work-amount" value="0.000010"></prop>
     <prop id="cpu/optim" value="TI"></prop>
     <prop id="network/model" value="SMPI"></prop>
     <prop id="path" value="~/"></prop>