<!DOCTYPE platform SYSTEM "https://simgrid.org/simgrid.dtd">
<platform version="4.1">
<config id="General">
- <prop id="maxmin/precision" value="0.000010"/>
+ <prop id="precision/work-amount" value="0.000010"/>
<prop id="cpu/optim" value="TI"/>
<prop id="path" value="~/"/>
</config>