diff options
Diffstat (limited to 'extras')
-rwxr-xr-x | extras/prot_filter.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/prot_filter.py b/extras/prot_filter.py index bc61c097faf..099832fc08a 100755 --- a/extras/prot_filter.py +++ b/extras/prot_filter.py @@ -126,7 +126,7 @@ if __name__ == "__main__": volume_list.append(extra) graph, last = load(path) for v in volume_list: - if graph.has_key(v): + if v in graph: break else: print("No configured volumes found - aborting.") |