From 90f96a25da8fd36563d0273ea619968bd72ca9c0 Mon Sep 17 00:00:00 2001 From: "Eric S. Raymond" Date: Tue, 2 Jan 2024 21:52:59 -0500 Subject: [PATCH] pylint cleanup. --- make_graph.py | 1 + 1 file changed, 1 insertion(+) diff --git a/make_graph.py b/make_graph.py index 779572a..35dd92f 100755 --- a/make_graph.py +++ b/make_graph.py @@ -144,6 +144,7 @@ if __name__ == "__main__": debug = False for (switch, val) in options: if switch == "-a": + # pylint: disable=unnecessary-lambda-assignment subset = lambda loc: True elif switch == "-d": subset = alldifferent -- 2.31.1