diff --git a/community-build/community-projects/dotty-cps-async b/community-build/community-projects/dotty-cps-async
index 614dc4a30557..4724f902dfda 160000
--- a/community-build/community-projects/dotty-cps-async
+++ b/community-build/community-projects/dotty-cps-async
@@ -1 +1 @@
-Subproject commit 614dc4a30557bf7d282387d0c7efcdb59d97d76b
+Subproject commit 4724f902dfdad82ba9a02eea08fe01fe6d7a7c15