pylint cleanup.

diff --git a/make_graph.py b/make_graph.py
index 779572ad3f0ef14d91debcc74e08cc832e588d1a..35dd92fa0a08dbcd1befd531a1e76b37ecf19304 100755 (executable)
--- 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