maint: avoid "the the"

* djgpp/README.in: s/the the/the/
* src/parse-gram.c (lloc_default): Likewise.
* src/parse-gram.y (lloc_default): Likewise, and remove a
trailing space.
This commit is contained in:
Jim Meyering
2012-01-13 10:18:26 +01:00
parent 09aa8a885b
commit 59420cd716
4 changed files with 12 additions and 4 deletions

View File

@@ -3350,7 +3350,7 @@ lloc_default (YYLTYPE const *rhs, int n)
loc.start = rhs[n].end;
loc.end = rhs[n].end;
/* Ignore empty nonterminals the start of the the right-hand side.
/* Ignore empty nonterminals the start of the right-hand side.
Do not bother to ignore them at the end of the right-hand side,
since empty nonterminals have the same end as their predecessors. */
for (i = 1; i <= n; i++)

View File

@@ -608,7 +608,7 @@ rhs:
{ grammar_current_rule_symbol_append ($2, @2, $3); }
| rhs "{...}" named_ref.opt
{ grammar_current_rule_action_append ($2, @2, $3, false); }
| rhs "%?{...}"
| rhs "%?{...}"
{ grammar_current_rule_action_append ($2, @2, NULL, true); }
| rhs "%prec" symbol
{ grammar_current_rule_prec_set ($3, @3); }
@@ -729,7 +729,7 @@ lloc_default (YYLTYPE const *rhs, int n)
loc.start = rhs[n].end;
loc.end = rhs[n].end;
/* Ignore empty nonterminals the start of the the right-hand side.
/* Ignore empty nonterminals the start of the right-hand side.
Do not bother to ignore them at the end of the right-hand side,
since empty nonterminals have the same end as their predecessors. */
for (i = 1; i <= n; i++)