Add parentheses for clarity (#182)

There should be no semantic change
JasonGross · Oct 26, 2023 · ee0ade6 · ee0ade6
1 parent 7d1d3c1
commit ee0ade6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/coq_tools/import_util.py b/coq_tools/import_util.py
@@ -612,7 +612,7 @@ def split_requires_of_statements(annotated_contents, types=('lib',), appends=('<
             yield (statement, references)
             continue
         rkind = classify_require_kind(statement, references)
-        if rkind not in (REQUIRE, REQUIRE_IMPORT, REQUIRE_EXPORT) or len(references) == 1 and rkind == REQUIRE:
+        if rkind not in (REQUIRE, REQUIRE_IMPORT, REQUIRE_EXPORT) or (len(references) == 1 and rkind == REQUIRE):
             yield (statement, references)
             continue
         remaining_references = []