doc/refintro.tex, src/sod-module.5: Fix slightly garbled text.

diff --git a/doc/refintro.tex b/doc/refintro.tex
index ead5ace3bd0c9739089e0f9bae25ff13a581bf25..2d4dbedcf313a18933183a134e9af5ff063c6bbb 100644 (file)
--- a/doc/refintro.tex
+++ b/doc/refintro.tex
@@ -95,8 +95,8 @@ Anywhere a simple nonterminal name $x$ may appear in the grammar, an
 left-hand side of a production rule, the indices $a_1$, \ldots, $a_n$ are
 variables which vary over all nonterminal and terminal symbols, and the
 variables may also appear on the right-hand side in place of a nonterminal.
 left-hand side of a production rule, the indices $a_1$, \ldots, $a_n$ are
 variables which vary over all nonterminal and terminal symbols, and the
 variables may also appear on the right-hand side in place of a nonterminal.

-Such a rule stands for a family of rules, in each variable is replaced by
-each possible simple nonterminal or terminal symbol.
+Such a rule stands for a family of rules, in which each variable is replaced
+by each possible simple nonterminal or terminal symbol.

 
 The letter $\epsilon$ denotes the empty nonterminal
 \begin{quote}
 
 The letter $\epsilon$ denotes the empty nonterminal
 \begin{quote}

diff --git a/src/sod-module.5 b/src/sod-module.5
index 44176733849e814cf81182b33f424a5f27466502..8e21b5d438ded80adebb574086aa32002a03ff52 100644 (file)
--- a/src/sod-module.5
+++ b/src/sod-module.5
@@ -106,7 +106,7 @@ are variables which vary over all nonterminal and terminal symbols,
 and the variables may also appear on the right-hand side
 in place of a nonterminal.
 Such a rule stands for a family of rules,
 and the variables may also appear on the right-hand side
 in place of a nonterminal.
 Such a rule stands for a family of rules,

-in each variable is replaced by
+in which each variable is replaced by

 each possible simple nonterminal or terminal symbol.
 .PP
 The letter \*e denotes the empty nonterminal
 each possible simple nonterminal or terminal symbol.
 .PP
 The letter \*e denotes the empty nonterminal