Minor, indentation

1 files changed, 1 insertions, 1 deletions

diff --git a/Day15.lean b/Day15.lean
index 92bcbc2..bb7a01c 100644
--- a/Day15.lean
+++ b/Day15.lean
@@ -117,7 +117,7 @@ private def focussingPower (hashMap : HolidayAsciiStringHelperManualArrangementP
         (λ(totalPower, lensIndex) lens ↦ (totalPower + boxIndex * lensIndex * lens.snd.val, lensIndex + 1))
         (totalPower, 1)
       (totalPower, boxIndex + 1)
-      )
+    )
     (0,1)
 
 private instance : HolidayAsciiStringHelperAble Substring where