fix

mdr · Dec 3, 2024 · 80787b6 · 80787b6
1 parent cb0d65f
commit 80787b6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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