Disable some lints

Joseph-Edwards · Joseph-Edwards · commit 42cf4c372cf3 · 2026-06-05T19:33:45.000+01:00
diff --git a/examples/alphabet-order/todd_coxeter_alphabet_order.py b/examples/alphabet-order/todd_coxeter_alphabet_order.py
@@ -1,3 +1,4 @@
+# pylint: disable=redefined-outer-name, redefined-loop-name
 """In this file, we demonstrate the impact of changing the order of a ToddCoxeter alphabet"""
 
 from collections.abc import Callable

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+# pylint: disable=redefined-outer-name, redefined-loop-name`
`1`	`2`	`"""In this file, we demonstrate the impact of changing the order of a ToddCoxeter alphabet"""`
`2`	`3`
`3`	`4`	`from collections.abc import Callable`