Cosmetics (and please scan-build about potential null surf_action_).

[simgrid.git] / src / surf / xml / simgrid.dtd

diff --git a/src/surf/xml/simgrid.dtd b/src/surf/xml/simgrid.dtd
index 50f1fc6..65543dc 100644 (file)
--- a/src/surf/xml/simgrid.dtd
+++ b/src/surf/xml/simgrid.dtd
@@ -27,7 +27,7 @@ To upgrade your files, use the tool simgrid_update_xml
    - In <trace_connect>, attribute kind="POWER" is now kind="SPEED".
 
    - In <host> and <link>, attributes availability and state are gone.
-     It was redundent with state and availability profiles, and with peak values.
+     It was redundant with state and availability profiles, and with peak values.
 
    - In <cluster>, cannot set the availability nor state profiles.
      This was too complex and unused.