test: fix broken test

leanprover · Sep 12, 2024 · 7dadb0c · 7dadb0c
1 parent 32854c1
commit 7dadb0c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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