diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-11-23 10:39:15 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-11-23 10:39:15 +0100 |
| commit | f356ba861432980c4a37279af51142b331c84aca (patch) | |
| tree | 3afac3e63412ba02a41b7532184c02235a144a96 /examples/help_grep.py | |
| parent | 13a7bae7719c17b43fca5e3c61ff18a225fc6422 (diff) | |
Clarify that select/imply is a no-op for choice symbols
The warning for selecting/implying a choice symbol could be
misunderstood as saying that select/imply has no effect on choice
symbols in a particular case. Select/imply never has an effect on choice
symbols though.
Rephrase the warning to make it clearer.
Diffstat (limited to 'examples/help_grep.py')
0 files changed, 0 insertions, 0 deletions