tweak

mdr · Dec 5, 2024 · f279bbf · f279bbf
1 parent 3f5e869
commit f279bbf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Aoc2024/Day05/Solve.lean b/Aoc2024/Day05/Solve.lean
@@ -7,7 +7,7 @@ open Std (HashSet)
 
 private def middleElement {α} (l : List α) : Option α := l.get? (l.length / 2)
 
-private def middlePageNumber (update : Update) : Int := middleElement update.pages |>.getD 0
+private def middlePageNumber (update : Update) : Page := middleElement update.pages |>.getD 0
 
 private def isCorrectlyOrdered (rules : List OrderingRule) (update : Update) : Bool :=
   let allowedPairs := rules.map (·.toPair) |>.toSet