diff --git a/Aoc2024/Day03/Solve.lean b/Aoc2024/Day03/Solve.lean
index 0eaad99..c5120a6 100644
--- a/Aoc2024/Day03/Solve.lean
+++ b/Aoc2024/Day03/Solve.lean
@@ -17,7 +17,7 @@ private def findEnabledMulInstructions (enabled : Bool) : List Instruction -> Li
     match instruction with
       | Instruction.mul m n =>
         if enabled then
-          Instruction.mul m n ::findEnabledMulInstructions enabled rest
+          Instruction.mul m n :: findEnabledMulInstructions enabled rest
         else
           findEnabledMulInstructions enabled rest
       | Instruction.do => findEnabledMulInstructions true rest