diff options
| -rwxr-xr-x | scripts/isolate_tests.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/isolate_tests.py b/scripts/isolate_tests.py index 352a2fde..1f913504 100755 --- a/scripts/isolate_tests.py +++ b/scripts/isolate_tests.py @@ -82,8 +82,8 @@ def extract_and_write(f, path): if docs: cases = extract_docs_cases(path) else: - if f.endswith(".sol"): - cases = [open(path, "r").read()] + if f.endswith('.sol'): + cases = [open(path, 'r').read()] else: cases = extract_test_cases(path) write_cases(cases) |