Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Typo.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 17 Oct 2020 18:47:38 +0000 (20:47 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Sat, 17 Oct 2020 19:15:14 +0000 (21:15 +0200)
Reported in https://github.com/simgrid/simgrid/issues/348.

src/surf/xml/simgrid_dtd.c
tools/cmake/scripts/fixup_simgrid_dtd_l.pl

index e9c2957..38fb357 100644 (file)
@@ -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
index bf486fb..d786095 100755 (executable)
@@ -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/)  {