diff --git a/tests/lean/run/coroutine.lean b/tests/lean/run/coroutine.lean
index 731cc8d792..024bc8fdd1 100644
--- a/tests/lean/run/coroutine.lean
+++ b/tests/lean/run/coroutine.lean
@@ -176,7 +176,7 @@ def ex : StateT Nat (coroutine Nat String) Unit :=
 do
   x ← read,
   y ← get,
-  put (y+5),
+  set (y+5),
   yield ("1) val: " ++ toString (x+y)),
   x ← read,
   y ← get,