bugfix de um end que ficou sem nome

= · = · commit d1b0913c8286 · 2025-07-07T21:42:41.000-03:00
diff --git a/Fad/Chapter8.lean b/Fad/Chapter8.lean
@@ -469,6 +469,7 @@ def pqCombined : PQ Nat Nat := combineQ pq1 pq2
 #eval huffmanPQ [('z', 5)]
 #eval huffmanPQ []
 -/
-end
+
+end PriorityQueue
 
 end Chapter8
