From: Mark Wooding <mdw@distorted.org.uk>
Date: Wed, 16 May 2018 09:09:02 +0000 (+0100)
Subject: doc/refintro.tex, src/sod-module.5: Fix slightly garbled text.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/commitdiff_plain/b55c78560d60a17fb84428b187f9d65a1b375072

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

diff --git a/doc/refintro.tex b/doc/refintro.tex
index ead5ace..2d4dbed 100644
--- 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.
-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}
diff --git a/src/sod-module.5 b/src/sod-module.5
index 4417673..8e21b5d 100644
--- 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,
-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