diff --git a/tests/compiler/binomial.lean b/tests/compiler/binomial.lean
index 8622c5122e..b8d5d48b58 100644
--- a/tests/compiler/binomial.lean
+++ b/tests/compiler/binomial.lean
@@ -1,4 +1,6 @@
-import Init.Data.BinomialHeap
+import Std.Data.BinomialHeap
+
+open Std
 
 abbrev Heap := BinomialHeap Nat (fun a b => a < b)