diff options
Diffstat (limited to 'examples/help_grep.py')
| -rw-r--r-- | examples/help_grep.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/help_grep.py b/examples/help_grep.py index 6f54583..b9e1440 100644 --- a/examples/help_grep.py +++ b/examples/help_grep.py @@ -44,7 +44,7 @@ if len(sys.argv) < 3: search = re.compile(sys.argv[2], re.IGNORECASE).search def search_tree(node): - while node is not None: + while node: match = False if isinstance(node.item, (Symbol, Choice)) and \ @@ -63,7 +63,7 @@ def search_tree(node): if match: print("location: {}:{}\n".format(node.filename, node.linenr)) - if node.list is not None: + if node.list: search_tree(node.list) node = node.next |