diff options
| author | Mattias Andrée <maandree@operamail.com> | 2014-11-28 08:54:40 +0100 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2014-11-28 08:54:40 +0100 |
| commit | 39f19113d30e87c1604ed4e8e39ea95f87296767 (patch) | |
| tree | 8ee097832aae5f7346eb51a12b7aabd2066aac20 /doc | |
| parent | m (diff) | |
| download | mds-39f19113d30e87c1604ed4e8e39ea95f87296767.tar.gz mds-39f19113d30e87c1604ed4e8e39ea95f87296767.tar.bz2 mds-39f19113d30e87c1604ed4e8e39ea95f87296767.tar.xz | |
m + macro call alternation elimination
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to 'doc')
| -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. |