diff options
| -rwxr-xr-x | docs/users_guide/compare-flags.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/compare-flags.py b/docs/users_guide/compare-flags.py index f47e819adb..bfb8da65cf 100755 --- a/docs/users_guide/compare-flags.py +++ b/docs/users_guide/compare-flags.py @@ -17,7 +17,7 @@ EXPECTED_UNDOCUMENTED_PATH = \ Path(__file__).parent / 'expected-undocumented-flags.txt' EXPECTED_UNDOCUMENTED = \ - {line for line in open(EXPECTED_UNDOCUMENTED_PATH).read().split()} + {line for line in EXPECTED_UNDOCUMENTED_PATH.read_text().split()} def expected_undocumented(flag: str) -> bool: if flag in EXPECTED_UNDOCUMENTED: |