From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sun, 10 Feb 2019 13:55:31 +0000 (+0100)
Subject: Typo.
X-Git-Tag: v3_22~356^2~6
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f4d90de0fffa1e2813b6b00e491f4f865c6e5389

Typo.
---

diff --git a/ChangeLog b/ChangeLog
index c8e96e330d..e086474077 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -709,7 +709,7 @@ SimGrid (3.14) Released December 24. 2016
  * VM I/O related things:
    - Ignored parameter of vm_create: core_nb, disk_path and disk_size.
    - Unimplemented save/restore methods
- * MSG_as_router_get_property_value() was redundent with
+ * MSG_as_router_get_property_value() was redundant with
    MSG_environment_as_get_property_value().
    - Removed MSG_as_router_*propert*() functions
    - Added MSG_environment_as_set_property_value() for consistency
@@ -803,7 +803,7 @@ SimGrid (3.13) stable; urgency=low
      flops that a <host>, <peer>, <cluster> or <cabinet> can deliver per second.
    - 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 traces, and with peak values.
+     It was redundant with state and availability traces, and with peak values.
    - In <cluster>, attributes availability_file and state_file are gone.
      It was too complex and unused.
    - Kill <gpu>. Was not doing anything.
diff --git a/src/surf/xml/simgrid.dtd b/src/surf/xml/simgrid.dtd
index 50f1fc6a0e..65543dc6e5 100644
--- 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.
diff --git a/src/surf/xml/simgrid_dtd.c b/src/surf/xml/simgrid_dtd.c
index 36a715e54f..945679354f 100644
--- a/src/surf/xml/simgrid_dtd.c
+++ b/src/surf/xml/simgrid_dtd.c
@@ -9363,7 +9363,7 @@ FAIL("Premature EOF: `</peer>' expected.");
   *      that a <host>, <peer>, <cluster> or <cabinet> can deliver per second.
   *    - 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 traces, and with peak values.
+  *      It was redundant with state and availability traces, and with peak values.
   *    - In <cluster>, cannot set the availability nor state profiles.
   *      This was too complex and unused.
   *    - The DOCTYPE points to the right URL (this file).