X-Git-Url: https://git.distorted.org.uk/~mdw/sod/blobdiff_plain/1ad4b33a5c4b390d728ef15c0eb85e53b0383c50..fddbedf7b1b4b19add30eeb62281748cc77e6955:/src/sod-module.5 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