Skip to content

Commit 0cc6ff8

Browse files
RaggedRclaude
andcommitted
style: suppress longLine linter for ClayworthSabidussi data arrays
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent 623ff43 commit 0cc6ff8

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

Archive/ClayworthSabidussi.lean

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,7 @@ and BFS witness words prove transitivity.
2525
-/
2626

2727
set_option linter.style.longFile 1900
28+
set_option linter.style.longLine false
2829
set_option linter.style.nativeDecide false
2930

3031
/-! ## Neighbor data (O(3) adjacency lookup) -/

0 commit comments

Comments
 (0)