1 files changed, 0 insertions, 2 deletions
diff --git a/Day17.lean b/Day17.lean
index 539baaf..4bddc1c 100644
--- a/Day17.lean
+++ b/Day17.lean
@@ -389,8 +389,6 @@ decreasing_by
     have : closedSet.size < (Finite.cardinality (ClosedSetEntry heatLossMap)) := Std.HashSet.size_lt_finite_cardinality_of_not_mem closedSet ⟨_,h₂⟩
     omega
 
-
-
 ------------------------------------------------------------------------------------
 
 private def testData := "2413432311323