diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/info/mds.texinfo | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/info/mds.texinfo b/doc/info/mds.texinfo index 9dd851c..6f5e5f5 100644 --- a/doc/info/mds.texinfo +++ b/doc/info/mds.texinfo @@ -5456,7 +5456,10 @@ 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 or unordered subsequence -inside unordered subsequence. +inside unordered subsequence. The compiler +may however choose to discourage unordered +subsequence inside unordered subsequence +because of readability issues. |