diff options
Diffstat (limited to 'Tools/scripts/objgraph.py')
| -rwxr-xr-x | Tools/scripts/objgraph.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Tools/scripts/objgraph.py b/Tools/scripts/objgraph.py index 3bb1712a9d..add41e692c 100755 --- a/Tools/scripts/objgraph.py +++ b/Tools/scripts/objgraph.py @@ -180,7 +180,8 @@ def main(): if filename == '-': readinput(sys.stdin) else: - readinput(open(filename, 'r')) + with open(filename) as f: + readinput(f) # warndups() # |