From b55c78560d60a17fb84428b187f9d65a1b375072 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Wed, 16 May 2018 10:09:02 +0100 Subject: [PATCH] doc/refintro.tex, src/sod-module.5: Fix slightly garbled text. --- doc/refintro.tex | 4 ++-- src/sod-module.5 | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) 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 -- 2.11.0