From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Sat, 17 Oct 2020 18:47:38 +0000 (+0200)
Subject: Typo.
X-Git-Tag: v3.26~283
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d954f6b7bcf8a03a4cd383ea8684ef63c7b86e5f

Typo.

Reported in https://github.com/simgrid/simgrid/issues/348.
---

diff --git a/src/surf/xml/simgrid_dtd.c b/src/surf/xml/simgrid_dtd.c
index e9c2957d28..38fb357c65 100644
--- a/src/surf/xml/simgrid_dtd.c
+++ b/src/surf/xml/simgrid_dtd.c
@@ -6705,7 +6705,7 @@ SET(DOCTYPE);
 case 12:
 /* rule 12 can match eol */
 YY_RULE_SETUP
-FAIL("Bad declaration %s.\nIf your are using a XML v3 file (check the version attribute in <platform>), please update it with tools/simgrid_update_xml.pl",yytext);
+FAIL("Bad declaration %s.\nIf your are using an XML v3 file (check the version attribute in <platform>), please update it with tools/simgrid_update_xml.pl",yytext);
 	YY_BREAK
 
 case 13:
@@ -6721,7 +6721,7 @@ SET(ROOT_surfxml_platform);
 case 15:
 /* rule 15 can match eol */
 YY_RULE_SETUP
-FAIL("Bad declaration %s.\nIf your are using a XML v3 file (check the version attribute in <platform>), please update it with tools/simgrid_update_xml.pl",yytext);
+FAIL("Bad declaration %s.\nIf your are using an XML v3 file (check the version attribute in <platform>), please update it with tools/simgrid_update_xml.pl",yytext);
 	YY_BREAK
 case 16:
 YY_RULE_SETUP
diff --git a/tools/cmake/scripts/fixup_simgrid_dtd_l.pl b/tools/cmake/scripts/fixup_simgrid_dtd_l.pl
index bf486fb35d..d7860952f2 100755
--- a/tools/cmake/scripts/fixup_simgrid_dtd_l.pl
+++ b/tools/cmake/scripts/fixup_simgrid_dtd_l.pl
@@ -6,7 +6,7 @@ while (<>) {
     next if (m#^ \* Generated [0-9/]* [0-9:]*#);
 
     # Informative error message for files using a very old DTD
-    s#"Bad declaration %s."#"Bad declaration %s.\\nIf your are using a XML v3 file (check the version attribute in <platform>), please update it with tools/simgrid_update_xml.pl"#;
+    s#"Bad declaration %s."#"Bad declaration %s.\\nIf your are using an XML v3 file (check the version attribute in <platform>), please update it with tools/simgrid_update_xml.pl"#;
 
     # Accept the alternative DTD location
     if (/DOCTYPE.*simgrid.org.simgrid.dtd/)  {