From 3469d1e0e5e44c29484ff2f843c0863afa502eea Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Wed, 13 Dec 2023 19:43:48 +0100
Subject: Rename file to BinaryHeap, as it isn't a BTree

---
 Common.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Common.lean')

diff --git a/Common.lean b/Common.lean
index 32b40ec..1eedec8 100644
--- a/Common.lean
+++ b/Common.lean
@@ -5,4 +5,4 @@ import Common.String
 import Common.List
 import Common.Char
 import Common.Euclid
-import Common.BTreeHeap
+import Common.BinaryHeap
-- 
cgit v1.2.3