diff --git a/tests/lean/Process.lean b/tests/lean/Process.lean
index 1be0debff2..50e21f71fa 100644
--- a/tests/lean/Process.lean
+++ b/tests/lean/Process.lean
@@ -1,5 +1,9 @@
 open IO.Process
 
+#eval do
+  child ← spawn { cmd := "sh", args := #["-c", "exit 1"] };
+  child.wait
+
 #eval do
   child ← spawn { cmd := "sh", args := #["-c", "echo hi!"] };
   child.wait
diff --git a/tests/lean/Process.lean.expected.out b/tests/lean/Process.lean.expected.out
index bce17e82fc..fd4910c635 100644
--- a/tests/lean/Process.lean.expected.out
+++ b/tests/lean/Process.lean.expected.out
@@ -1,3 +1,4 @@
+1
 hi!
 0
 "ho!\n"