diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/info/mds.texinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/info/mds.texinfo b/doc/info/mds.texinfo index c6b7f0b..74e1720 100644 --- a/doc/info/mds.texinfo +++ b/doc/info/mds.texinfo @@ -5418,11 +5418,11 @@ you can write It is undefined in which order alternations and unordered subsequences are expanded; neither sequencewise or levelwise. -Thus, there should not side-effects where +Thus, there should not be side-effects where either one is used, nor does it make since to nest the two constructs in any other -way than alternation inside unordered -subsequence. +way than alternation or unordered subsequence +inside unordered subsequence. |