layout

mdr · Dec 4, 2024 · c80f7d0 · c80f7d0
1 parent 5c6a656
commit c80f7d0
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Aoc2024/Day04/Solve.lean b/Aoc2024/Day04/Solve.lean
@@ -57,7 +57,8 @@ private def is2Mas: Grid -> Bool
   | [
       ['M', _, 'S'],
       [ _, 'A', _],
-      ['M', _, 'S']] => true
+      ['M', _, 'S']
+    ] => true
   | _ => false
 
 private def rotate90 : Grid -> Grid := flipHorizontal ∘ List.transpose