From 539545228c4d78cc3fdbf369c3934ad27fd17b32 Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Sun, 1 Sep 2024 00:03:28 +0200
Subject: Move BinaryHeap to its own Github project.

---
 Common.lean | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Common.lean')

diff --git a/Common.lean b/Common.lean
index d433fa6..89c9051 100644
--- a/Common.lean
+++ b/Common.lean
@@ -5,5 +5,3 @@ import Common.String
 import Common.List
 import Common.Char
 import Common.Euclid
-import Common.BinaryHeap
-import Common.Nat
-- 
cgit v1.2.3