From: Eric S. Raymond <esr@thyrsus.com>
Date: Wed, 3 Jan 2024 02:52:59 +0000 (-0500)
Subject: pylint cleanup.
X-Git-Tag: 1.17~1
X-Git-Url: https://jxself.org/git/?p=open-adventure.git;a=commitdiff_plain;h=90f96a25da8fd36563d0273ea619968bd72ca9c0

pylint cleanup.
---

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