Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit d9caa74

Browse files
committedMar 12, 2024
Merge branch 'enable-ruff-ARG001-rule' of https://github.com/MaximSmolskiy/Python into enable-ruff-ARG001-rule
2 parents 45114f8 + c128e62 commit d9caa74

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed
 

‎other/davis_putnam_logemann_loveland.py

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -226,7 +226,8 @@ def find_pure_symbols(
226226

227227

228228
def find_unit_clauses(
229-
clauses: list[Clause], model: dict[str, bool | None] # noqa: ARG001
229+
clauses: list[Clause],
230+
model: dict[str, bool | None], # noqa: ARG001
230231
) -> tuple[list[str], dict[str, bool | None]]:
231232
"""
232233
Returns the unit symbols and their values to satisfy clause.

0 commit comments

Comments
 (0)
Please sign in to comment.