diff --git a/tests/lean/Process.lean b/tests/lean/Process.lean
index 147917c8a9..7c775a8a8d 100644
--- a/tests/lean/Process.lean
+++ b/tests/lean/Process.lean
@@ -19,12 +19,6 @@ def usingIO {α} (x : IO α) : IO α := x
   discard $ child.wait;
   child.stdout.readToEnd
 
-#eval usingIO do
-  let child ← spawn { cmd := "true", stdin := Stdio.piped };
-  discard $ child.wait;
-  child.stdin.putStrLn "ha!";
-  child.stdin.flush <|> IO.println "flush of broken pipe failed"
-
 #eval usingIO do
   -- produce enough output to fill both pipes on all platforms
   let out ← output { cmd := "sh", args := #["-c", "printf '%100000s' >& 2; printf '%100001s'"] };
diff --git a/tests/lean/Process.lean.expected.out b/tests/lean/Process.lean.expected.out
index aefb784c4e..28b40f32d9 100644
--- a/tests/lean/Process.lean.expected.out
+++ b/tests/lean/Process.lean.expected.out
@@ -2,7 +2,6 @@
 0
 "ho!\n"
 "hu!\n"
-flush of broken pipe failed
 100001
 100000
 0