1 files changed, 1 insertions, 1 deletions
diff --git a/Day8.lean b/Day8.lean
index 4e5d1bc..b4802f4 100644
--- a/Day8.lean
+++ b/Day8.lean
@@ -50,7 +50,7 @@ private def parseWaypoints (input : List String) : Except String $ List Waypoint
 
 open Std in
 private def validateWaypointLinks (waypoints : List Waypoint) : Bool :=
-  let validLinks := HashSet.insertMany HashSet.empty $ waypoints.map Waypoint.id
+  let validLinks := HashSet.insertMany HashSet.emptyWithCapacity $ waypoints.map Waypoint.id
   waypoints.all λw ↦ validLinks.contains w.left && validLinks.contains w.right
 
 def target : WaypointId := "ZZZ"