diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-08-25 04:10:29 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-08-25 04:11:03 +0200 |
| commit | 2e0f51734a30441869280b1107471cae6e087981 (patch) | |
| tree | 3b32657519c1b12a4092897d08dc16c93cf0068b /oldconfig.py | |
| parent | 1c2c4ae83e78d3450e313aba53628497643adfb8 (diff) | |
Clean up expr_str() a bit
- Test in the order AND, OR, NOT, like in other places. This matches
the frequency too.
- Use 'not isinstance(expr, tuple)', which is a bit faster than
isinstance(expr, (Symbol, Choice)).
Diffstat (limited to 'oldconfig.py')
0 files changed, 0 insertions, 0 deletions