From 4bf41f0036d5baec31ab801117fec2bbd49edaef Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 21 Mar 2019 16:46:53 -0700
Subject: [PATCH] chore(tests/lean/run/coroutine): fix test

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

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,