diff --git a/src/Eratosthenes.agda b/src/Eratosthenes.agda
index 0ef1dc3..f8c48c7 100644
--- a/src/Eratosthenes.agda
+++ b/src/Eratosthenes.agda
@@ -54,7 +54,7 @@ upFromThen from (suc then) = from ∷ upFromThen (suc from) then
 upTo : ℕ → List ℕ
 upTo = upFromThen 0
 
-open import SplayHeap (On.totalOrder ≤-totalOrder (proj₂ {A = ℕ})) public
+open import SplayHeap (On.totalOrder ≤-totalOrder (proj₂ {A = ℕ}))
 
 insertPrime : ℕ → Heap → Heap
 insertPrime p table = insert (p , p * p) table