From 7dadb0c9f9bb80c39eb6330e5954d3da5b7c343c Mon Sep 17 00:00:00 2001
From: Marc Huisinga <mhuisi@protonmail.com>
Date: Thu, 12 Sep 2024 16:29:53 +0200
Subject: [PATCH] test: fix broken test

---
 tests/lean/stdio.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/lean/stdio.lean b/tests/lean/stdio.lean
index afb38d9d5745..f660d0e51b04 100644
--- a/tests/lean/stdio.lean
+++ b/tests/lean/stdio.lean
@@ -10,7 +10,7 @@ out.putStrLn "print stdout"
 let err ← IO.getStderr;
 (err.putStr "print stderr" : IO Unit)
 
-open usingIO IO
+open IO
 
 def test : IO Unit := do
 FS.withFile "stdout1.txt" IO.FS.Mode.write $ fun h₁ => do