From a2e339e868da87aa124f69f681efd71162ed7c1e Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 22 May 2020 14:47:39 -0700
Subject: [PATCH] chore: fix test

---
 tests/compiler/binomial.lean | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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)