X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/blobdiff_plain/7b7947024fedb0bb7a0ea3ccb0029f6060de901b..b55c78560d60a17fb84428b187f9d65a1b375072:/doc/refintro.tex?ds=sidebyside

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}
