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